Senior Software Verification Engineer (Static Code Analysis)
- Security, aerospace & defence
- Aldershot, Bristol
Are you ready to take the next step in your career?
Apply for this roleThis vacancy has now expired. Please see similar roles below...
Solving the problems of tomorrow, today.
We work across a wide range of domains from military, energy to aerospace. We offer a wide range of projects to enable you to enhance and expand your career and fulfil your potential. We're proud to say our success is thanks to our people's diversity of thought, expertise, and knowledge.
When you join us, you'll be a part of a collaborative and diverse environment, where we embrace diversity and equal opportunities and the benefits that brings to our business.
We're passionate about what we do, and AtkinsRéalis is a great place to work and develop a career. We believe in a work life balance and to maximise your potential we offer a wide range of flexible working options. These policies are here to maximise your quality of life, for you, your family and to maximise your potential.
Our Safety-Critical Software team specialises in consultancy, verification and testing of software and programmable hardware used in safety-critical and security critical digital systems. Due to increased demand from clients across Nuclear Power, Defence Avionics and Aerospace and other sectors, we are looking to recruit talented Senior Software Engineers to join our team to work on a number of high-profile and exciting projects with a focus on formal verification of safety critical software via the use of the MALPAS tool. We are currently examining development options to refresh MALPAS to aid formal verification and incorporate the latest formal verification proves to support current and future formal verification activities.
In this role you’ll work closely with our project technical leads and with the discipline leads for safety critical software in Aerospace, Defence, Security & Technology (ADS&T). MALPAS is extensively used for formal verification of safety critical software in the nuclear industry and in particular for the Hinkley Point C (HPC) nuclear power plant. We are looking to expand the use of MALPAS into the defence and energy domains, for both safety and security.
You will be accountable for:
- Setting the technical strategy for enhancement and maintaining of formal verification/static code analysis tools.
- Understanding the current and future industry needs and drivers for the Static Code /Formal Verification of mission critical /safety critical software. This includes security and safety.
- 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.
- Supporting the professional development of colleagues.
- Engaging with external bodies such as universities, and IET to keep AtkinsRéalis up to date with developments in technology and to raise aware of AtkinsRéalis capabilities and career opportunities.
Essentials:
- 2.1 or a 1st in Computer science, or maths, or a mathematically oriented engineering or science degree.
- Programming experience, ideally in more than one language.
- Ability to work in a variety of programming languages and takes a flexible approach to learning.
- Experience of leading programming roles in industry.
- Good communication skills.
- Interest in informal verification such as theorem proving or static analysis.
Desirable:
- Chartered or working your way towards this.
- Prior experience in informal verification such as theorem proving or static analysis.
- Experience in safety critical software roles.
- Competent reporting writing skills.
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 | #LI-ATKINS | #AEDC
Are you ready to take the next step in your career?
Apply for this rolePreview
IndiaContent type
BlogsPublish date
05/15/2024
Summary
The challenge of global climate change is non-refutable. At AtkinsRéalis, we are enhancing and expanding our Power Transmission & Distribution Capability at the Global Technology Centre (GTC)
by
Shailaja Mantha
Preview
IndiaContent type
BlogsPublish date
05/15/2024
Summary
The challenge of global climate change is non-refutable. At AtkinsRéalis, we are enhancing and expanding our Power Transmission & Distribution Capability at the Global Technology Centre (GTC)
by
Shailaja Mantha
Related job roles
Salary
Location
Blaine
Job Type
Full Time
Career Area
Project controls
Market
Project, programme & cost management
Category
Permanent
Location
Blaine
Description
Why join us? We are hiring! AtkinsRéalis is seeking a Cost Engineer to join our Blaine, Washington office.About Us:AtkinsRéalis is one of the world’s most respected design, engineering, and project ma
Reference
R-113703
Expiry Date
01/01/0001
Salary
Location
West Midlands
Job Type
Full Time
Career Area
Project management
Category
Permanent
Location
West Midlands
Nottingham
Description
We’re AtkinsRéalis, a world-leading design, engineering, and project management organization. We connect people, data, and technology to transform the world’s infrastructure and energy systems. Our Pr
Reference
R-113696
Expiry Date
01/01/0001
Author
Gautham ShettyAuthor
Gautham ShettySalary
Location
London
Job Type
Full Time
Career Area
Project management
Market
Nuclear
Category
Permanent
Location
London
Bristol
Description
We are currently seeking an Engineering Manager to join the Major Projects team within our Nuclear & Power EMEA business reporting to the Head of Engineering Delivery. The successful candidate will ha
Reference
R-113692
Expiry Date
01/01/0001
Author
Shamily GopalAuthor
Shamily GopalSalary
Location
London
Job Type
Full Time
Career Area
Project management
Market
Nuclear
Category
Permanent
Location
London
Bristol
Description
We are currently seeking an Engineering Manager to join the Major Projects team within our Nuclear & Power EMEA business reporting to the Head of Engineering Delivery. The successful candidate will ha
Reference
R-113690
Expiry Date
01/01/0001
Author
Shamily GopalAuthor
Shamily GopalSalary
Location
London
Job Type
Full Time
Career Area
Project management
Market
Nuclear
Category
Permanent
Location
London
Bristol
Description
We are currently seeking an Engineering Manager to join the Major Projects team within our Nuclear & Power EMEA business reporting to the Head of Engineering Delivery. The successful candidate will ha
Reference
R-113687
Expiry Date
01/01/0001
Author
Shamily GopalAuthor
Shamily GopalSalary
Location
Cairo
Job Type
Full Time
Career Area
Architecture
Category
Permanent
Location
Cairo
Description
About AtkinsRéalis Created by the integration of long-standing organizations dating back to 1911, AtkinsRéalis is a world-leading professional services and project management company dedicated to eng
Reference
R-113681
Expiry Date
01/01/0001
Salary
Location
Cairo
Job Type
Full Time
Career Area
Architecture
Category
Permanent
Location
Cairo
Description
About AtkinsRéalis Created by the integration of long-standing organizations dating back to 1911, AtkinsRéalis is a world-leading professional services and project management company dedicated to eng
Reference
R-113678
Expiry Date
01/01/0001
Salary
Location
Cairo
Job Type
Full Time
Career Area
Architecture
Category
Permanent
Location
Cairo
Description
About AtkinsRéalis Created by the integration of long-standing organizations dating back to 1911, AtkinsRéalis is a world-leading professional services and project management company dedicated to eng
Reference
R-113675
Expiry Date
01/01/0001
Salary
Location
Charlotte
Job Type
Full Time
Career Area
Project management
Market
Water
Category
Permanent
Location
Charlotte
Raleigh
Description
Why join us? It’s an exciting time at AtkinsRéalis! We are rapidly growing in the US. Our company purpose is to build a better world for our planet and its people. We recognize the importance of makin
Reference
R-113656
Expiry Date
01/01/0001
Salary
Location
QUERETARO
Job Type
Full Time
Career Area
Mechanical engineering
Category
Fixed Term Contract
Location
Queretaro
Description
Actualmente en AtkinsReális (Faithful+Gould), un líder mundial en consultoría de proyectos y costos, nos encontramos en búsqueda de un Ingeniero(a) Mecánico(a).ObjetivoEncargado(a) de la gestión de pr
Reference
R-113654
Expiry Date
01/01/0001
AtkinsRéalis
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