• 5 to 8 years

Key Skills

  • Knowledge of predicate calculus (most likely from university) as Specifications are written using the Z formal notation
  • Experience in developing in and/or testing Ada, in particular SPARK Ada
  • Experience of using Python to create test automation scripts

Useful to have

  • Experience of developing in and/or testing C
  • Experience of developing and/or testing software that uses Mathematica
  • ISTQB qualification

Fundamentally, we need test engineers and software engineers  with strong mathematical skills and an ability to understand complex systems quickly.

Location: UK


  • Highly competitive to match experience and capability

How To Apply

Send your CV to [email protected] with “reference 38” in the subject of the email