Title:

Graduate Formal Methods Developer

Location:

Berkshire

Salary:

Negotiable

Description:

: As a member of the Warhead Electrical System Development Team, you will maintain and develop WES capability. You will be required to support requirements analysis and modelling of designs with formal methods, including liaison with customers and develop and manage software control documentation. You will perform code static code analysis and model checking of complex systems as well as employing testing methodologies to undertake module verification and validation.