Formal Verification Engineer (Theorem Proving)
- Security, aerospace & defence
- Aldershot, London, Epsom, Bristol, Silchester
This vacancy has now expired. Please see similar roles below...
Leading the edge of transformation
You might know us for the great work we do across our wide variety of projects. We're proud to say it's thanks to our people's diversity of thought, expertise and knowledge. And when you join us, you'll be a part of this genuinely collaborative environment, where everyone's voice is valued and treated equally.
We're passionate about what we do, but we don't take ourselves too seriously. Simply put, this a great place to be. So, when it comes to your life outside of work, ask us about our flexible and remote working policies designed to help you get the most out of life.
Our Safety Critical Software Team
Step into a rewarding career with our Safety-Critical Software team. Our team specialise in consultancy, development and verification of software and programmable hardware in safety-critical and security-critical systems. We work on many of the UK’s largest infrastructure programmes. The team prides itself on high-quality work using the best available techniques and technologies.
The Role
The role is to lead re-development of the MALPAS tool. Formal Verification and Static Code Analysis is a key technology that we use, primarily through the MALPAS tool, which AtkinsRéalis develops and supports. The MALPAS implementation has a number of obsolescence issues and we’re initiating a project to re-develop the tool. A key aim will be to increase automation achieved by our formal verification tools, particularly to analyse for cyber vulnerabilities.
Your purpose:
You will be responsible for-
- Leading the re-development of our formal verification tools.
- Understanding the current and future industry needs and drivers for the Static Code Analysis / Formal Verification of software.
- Setting the Formal Verification technical strategy in conjunction with the discipline lead.
- Defining the process by which MALPAS will be redeveloped.
- On-going enhancement and support of the tool following the implementation phase.
- Supporting the professional development of colleagues.
- Engaging with external bodies such as universities and professional institutions such as the BCS and IET to keep AtkinsRéalis up to date with developments in technology and to raise awareness of AtkinsRéalis’ capabilities and career opportunities.
What you can bring?
Essentials-
- A Computer Science or Software Engineering degree at 2.1 or 1st.
- Postgraduate experience or PhD in a Computer Science subject, preferably associated with formal verification and theorem proving.
- Strong programming experience, including knowledge of assembler and compilers.
- Experience of developing software compliant with a quality system, including software development planning, tool selection and good documentation.
- Good communication skills.
Desirable-
- Chartered Engineer or Scientist or working your way towards this.
- Safety-critical, or security-critical software knowledge and experience.
- Experience of working to quality standards.
Read more about how you can thrive with us.
Why work for AtkinsRéalis?
People join us because they share a desire to be at the forefront of the ADS&T Business Unit and deliver outstanding projects.We empower our people to be the professional individuals they want to be, working on projects they feel proud of, making a difference to the world they live in and the legacy they leave behind.
We value diversity and believe that everyone deserves to thrive, without exception. We have signed the MoD's "Women in Defence" and "Women in Aviation and Aerospace" charters. These pledges include providing opportunities for women to succeed at all levels. We're also committed to being a Military friendly employer and have been recognised with the Ministry of Defence's (MoD) Gold Employer Recognition Award.
We develop individuals through a portfolio of training and development courses designed to help you make the best of your abilities and talents. We encourage participation in all forms of training and have an active programme of in-house as well as external training for all our staff.
Meeting your needs:
When you start with us, you'll enjoy "Total Reward", a package that can be tailored to your lifestyle, career and personal needs. From flexible holidays to life assurance, health & wellbeing benefits, and career planning for the senior stage of your career.
Making sure you're supported is important to us. So, if you identify as having a disability, tell us ahead of your interview. And let's talk about any adjustments you might need.
New name, new era. We are AtkinsRéalis. It will take some time for all our information to update – you can still refer to our fantastic benefits via the link below:
YourReward at SNC-Lavalin (snclavalin.com).
More about us:
AtkinsRéalis, is a top global consultancy with over 100 years of design and engineering expertise. With us, you'll be surrounded by the skills, knowledge and support to help you succeed. Together, we can deliver projects which have a positive, sustainable impact on the world.
AtkinsRéalis, is where UK professionals want to work and stay once they join. We're also a Silver Rating holder in the Aerospace & Defence sector, as per the Financial Times rating of the UK’s leading management consultants.
Check out some of our recent, most exciting projects.
Additional Information:
This role may require security clearance and offers of employment will be dependent on obtaining the relevant level of clearance. If this is necessary, it will be discussed with you at interview. The vetting process is delivered by United Kingdom Security Vetting (UKSV) and may require candidates to provide proof of residency in the UK of 5 years or longer. If applying to this role please do not make reference to (in conversation) or include in your application or CV, details of any current or previously held security clearance.
We are committed to promoting a diverse and inclusive community - a place where we can all be ourselves, thrive and develop. To help embed inclusion for all, from day one, we offer a range of family friendly, inclusive employment policies, flexible working arrangements and employee networks to support staff from different backgrounds. As an Equal Opportunities Employer, we value applications from all backgrounds, cultures and ability.
#LI-ADST | #LI-UK| #AEDC

Preview
GeneralContent type
BlogsPublish date
02/04/2025
Summary
Hi, I'm Ahmad, the regional leader of AtkinsRéalis' Power New Build team here in the Northwest of England. Why did I join AtkinsRéalis? I wanted to be part of a world-class engineering services p
Meeting your needs
We offer a fantastic range of benefits to choose from, which you can tailor to suit your own health, wellbeing, financial and lifestyle choices.
Click here to see our full list of benefits
Preview
GeneralContent type
BlogsPublish date
02/04/2025
Summary
Hi, I'm Ahmad, the regional leader of AtkinsRéalis' Power New Build team here in the Northwest of England. Why did I join AtkinsRéalis? I wanted to be part of a world-class engineering services p
Meeting your needs
We offer a fantastic range of benefits to choose from, which you can tailor to suit your own health, wellbeing, financial and lifestyle choices.
Click here to see our full list of benefitsRelated job roles
Salary
Location
Bristol
Job Type
Flexible Working
Full Time
Career Area
Engineering (Other)
Market
Security, aerospace & defence
Category
Permanent
Location
Bristol
Description
Let's engineer a safer world.Are you ready to take up a vital role in shaping some of our exciting projects? How about joining our talented team, where everyone has a voice, and together we face our c
Reference
R-125060
Expiry Date
01/01/0001
Author
Sudhan PrabhuAuthor
Sudhan PrabhuSalary
Location
Glasgow
Job Type
Flexible Working
Full Time
Career Area
Engineering (Other)
Market
Security, aerospace & defence
Category
Permanent
Location
Derby
London
Epsom
Bristol
Glasgow
Cardiff
Description
Let's make our world safer, smarter, better.You might know us for the great work we do across our wide variety of projects. We're proud to say it's thanks to our people's diversity of thought, experti
Reference
R-123596
Expiry Date
01/01/0001
Author
Sudhan PrabhuAuthor
Sudhan PrabhuRelated articles

Preview
IndiaContent type
BlogsPublish date
12/12/2024
Summary
An engineering consultancy with career development support in India My journey at AtkinsRéalis Hi, I'm Sarang, a graduate engineer at AtkinsRealis. I've been there for two years, and I've been

Preview
USAContent type
BlogsPublish date
11/25/2024
Summary
From Roadway Engineers to Traffic Management Specialists, transportation jobs are essential to keeping the US economy moving. Better travel improves daily lives, too. Our work in planning, design
.jpg)
Preview
USAContent type
BlogsPublish date
11/25/2024
Summary
The multifaceted role of the project manager has been increasing in importance across virtually every industry in recent years—but what, exactly, is driving the demand? As global markets become

Preview
USAContent type
BlogsPublish date
11/25/2024
Summary
With climate change and environmental challenges at the forefront of global concerns, industries worldwide have found that sustainability is now more important than ever before. At AtkinsRéalis
.jpg)
Preview
CanadaContent type
BlogsPublish date
11/14/2024
Summary
Canada's engineering sector is experiencing a strong demand for skilled professionals across multiple disciplines, driven by growth in infrastructure, energy, and technology. With ongoing project

Preview
EuropeContent type
BlogsPublish date
09/30/2024
Summary
Hello, my name is Sherif, and I work at AtkinsRéalis in London. As a principal fire engineer, I'm proud to "engineer a better future" every day here, specifically as our work relates to shaping

Preview
EuropeContent type
BlogsPublish date
09/13/2024
Summary
Hello, my name is Dilini! Two years ago, after completing my doctorate in structural fire engineering, I began practicing in the UK fire engineering industry. I'm proud to have contributed

Preview
AustraliaContent type
BlogsPublish date
08/30/2024
Summary
The Australian market is an important growth area for AtkinsRéalis. Over the last 26 years, we have established a strong presence with offices across Sydney, Brisbane, and Melbourne. AtkinsRéalis i

Preview
Middle EastContent type
BlogsPublish date
07/30/2024
Summary
The Middle East offers fantastic opportunities for professionals looking to enhance their careers in aviation engineering, planning, or project management. Estimated at USD 27.18 billion in 2024

Preview
Middle EastContent type
BlogsPublish date
07/29/2024
Summary
Skip to all jobs in the Middle East Tourism in the Middle East accounts for around 9% of the region's GDP. Across the region, the groundwork is being laid out for sustainable tourism that res
Talent community
Would you like to know more? Not ready to apply? Join our talent community to stay connected and engaged with us at AtkinsRéalis.
Find out more