SPARK/ADA Software Developer - Bath and remote - 2 months+ One of our Blue Chip Clients is urgently looking for a SPARK/ADA Software Developer. For this role you will need to be onsite in Bath 2-3 times a week. Please find some details below: Must have experience of SPARK or ADA At least 6 years'' experience as a S/W Engineer in industry Ideally have experience in leadership roles You will take on lead roles in the development of our safety critical software. This may be setting direction for a customer in a small, high value consultancy job or assuming a lead role development or test role in one of our large software development projects. Depending on your particular area of strength your responsibilities might include: Shaping technical strategy on bids and projects basing your approach on our standard life cycle model, extensive quality management system and development toolset and techniques. Taking lead consultancy roles to shape how our customers approach their software challenges. Taking a lead in the generation of software requirements, architecture and design Taking a lead in the development of software and systems Taking a lead in the testing of software and systems Working with the safety team to provide evidence against the relevant standards Line managing and/or mentoring junior staff and support their competency growth. Being an advocate for our correctness-by-construction approach both internally within our business and externally with our clients Work with o