Lead SPARK/ADA Software Engineer - Hybrid Bath/Remote

Octopus Computer Associates is seeking a SPARK/ADA Software Developer for a project in Bath, requiring onsite presence 2-3 times weekly. The ideal candidate must have extensive experience in SPARK or ADA and a strong background in the full safety-critical software development life cycle.

Key responsibilities include shaping technical strategies and leading teams in software development, ensuring adherence to relevant standards while mentoring junior staff. A degree in Computer Science or related field is necessary.