We are seeking a Senior Software Assurance Consultant to conduct Independent Technical Assessments of safety-critical software for military jets with legacy systems.
Key Responsibilities:
Evaluate software safety and compliance with industry standards
Develop structured software safety arguments
Conduct code-level assessments (SPARK Ada & SPARK Analysis)
Ensure adherence to software development and verification processes
Collaborate with safety experts and stakeholders
Requirements:
Strong knowledge of aircraft software development & safety-critical systems
Experience in safety-critical software development or assessment
Familiarity with DO-178B/C, DEF STAN 00-55, IEC 61508
Proficiency in SPARK Ada (highly desirable)
Degree in Computer Science, Engineering, Maths, or relevant experience
Security clearance required
Why Apply?
Work on cutting-edge military aviation projects Competitive salary & career development opportunities