Ada Software Engineer
This role involves developing high-integrity, safety-critical software using Ada and SPARK across industries such as aerospace, medical devices, and automotive. You'll work throughout the full software lifecycle, focusing on correctness, reliability, and compliance with rigorous standards. The position requires strong attention to quality, traceability, and engineering discipline in a structured environment.