Formal Methods Engineer

Formal Methods Engineer

Location: Oxfordshire offices + hybrid working options

We’re looking for a Formal Methods Engineer to join a growing engineering team working on complex, high-assurance software systems.

You’ll use formal methods, mathematical reasoning and verification techniques to solve challenging engineering problems and help demonstrate that software behaves as intended. You’ll work closely with software, systems and verification engineers, with plenty of scope to apply your technical knowledge rather than simply follow a process.

You’ll be involved in:

• Developing and reviewing formal specifications, models and proofs, using techniques such as formal verification, model checking and theorem proving.
• Supporting requirements, verification and software assurance activities across the development lifecycle.
• Investigating complex technical problems and working with engineers to identify issues and develop practical solutions.

We’re looking for:

• Experience in formal methods, formal verification or a related field
• Strong mathematical, analytical and problem-solving skills
• Experience with tools or languages such as SPARK, Ada, TLA+, Dafny, Isabelle, Coq, Lean, Z, Alloy or similar

Please apply to this advert or email your CV direct to [email protected]

Please note, sponsorship is not available for this role.