Job Description

Test software and programmable hardware used in safety-critical and security critical digital systems as a Senior Software Verification Engineer for this high-calibre engineering consultancy.

The well-established consultancy values its employees and aims to give everyone a voice to together to solve their clients\' safety critical projects. This organisation understands the importance of work-life balance and offers flexible working with tailored benefits packages.

You will work closely with project technical leads and with the discipline leads for safety critical software in the sectors of aerospace and defence.

Key Responsibilities

• Setting the technical strategy for enhancement and maintaining of formal verification/static code analysis tools.
• Setting strategy for tool development in conjunction with the discipline lead
• Implementation of updates to the MALPAS tool to meet current and future needs. This will include the full software development lifecycle of activities such as writing requirements, writing the design spec, writing the code, creating test plans, etc.
• Engaging with external bodies such as universities, and IET to keep Atkins up to date with developments in technology.

About you:

• 1 or a 1st in Computer Science, Maths or a mathematically oriented engineering or science degree or equivalent experience.
• Programming experience and the ability to work in a variety of programming languages.
• Experience of leading programming roles in defence / safety critical industry.
• Interest in informal verification such as theorem proving or static analysis.
• Prior experience in informal verification such as theorem proving or static analysis would.

Key Information:

• Senior Software Verification Engineer
• Salary: \xc2\xa345,000-\xc2\xa365,000 + Benefits
• Locations: Bristol or Aldershot

You will be successful in this role if you want work on a range of projects with a focus on formal verification of safety critical software via the use of the MALPAS.

Due to the nature of work undertaken at our client\'s site, incumbents of these positions are required to meet special nationality rules and therefore these vacancies are only open to sole British Citizens. Applicants who meet this criteria will also be required to undergo security clearance vetting, if not already security cleared to a minimum SC level

Electus Recruitment Solutions provides specialist engineering and technical recruitment solutions to a number of high technology industries. We thank you for your interest in this vacancy. If you don\'t hear from us within 7 working days, please presume your application has been unsuccessful on this occasion. You are of course free to resubmit your CV/details in the future and we shall assess your suitability at that time.

This role is a permanent position.

Electus Recruitment Solutions