Computer Scientist - Safety Critical Software
__jobinformationwidget.freetext.LocationText__
Bristol
- Sécurité, aérospatiale et défense
Are you ready to take the next step in your career?
PostulezLeading the Edge of Transformation.
We work across a wide range of domains from defence, energy to aerospace and rail. 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. 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 and your family.
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
Are you ready to take the next step in your career?
PostulezAccroche
CanadaType de contenu
BlogsDate de publication
02/19/2024
Récapitulatif
Aujourd'hui, nous rencontrons Sabrina et Claudia, deux femmes extraordinaires dans le domaine de l'ingénierie. Rejoignez-nous pour découvrir leurs parcours, leurs triomphes et l'impact qu'ell
Watch: Featured video content
Accroche
CanadaType de contenu
BlogsDate de publication
02/19/2024
Récapitulatif
Aujourd'hui, nous rencontrons Sabrina et Claudia, deux femmes extraordinaires dans le domaine de l'ingénierie. Rejoignez-nous pour découvrir leurs parcours, leurs triomphes et l'impact qu'ell
Watch: Featured video content
Related job roles
Salaire
Localisation
Muscat
Job Type
Full Time
Career Area
Health & safety
Category
Permanent
Location
Muscat
Description
Job Summary:We are hiring for the Senior HSE Advisor for Oman. HSR Advisor is responsible for overseeing health, safety, and environment (HSE) initiatives within real estate and infrastructure project
Référence
R-114353
Date d’expiration
01/01/0001
Salaire
Localisation
Dubai
Job Type
Full Time
Career Area
Project management
Category
Permanent
Location
Dubai
Description
As a provider of multi-disciplined technical services to the built environment, Atkins Middle East is committed to design excellence in the delivery of first-class solutions which combine innovation,
Référence
R-113079
Date d’expiration
01/01/0001
Salaire
Localisation
Dubai
Job Type
Full Time
Career Area
Finance
Category
Permanent
Location
Dubai
Description
Assistant Financial Accountant – ME&AAtkinsRealis offers exciting opportunities for growth and development in the thriving markets of the Middle East. With offices in major cities such as Dubai, Abu D
Référence
R-113126
Date d’expiration
01/01/0001
Salaire
Localisation
Vasteras
Job Type
Full Time
Career Area
Integrity & legal
Category
Permanent
Location
Västerås
Description
JOINS US!Role: Head of Legal and Contract Management Location: Vasteras, SwedenJob OverviewLinxon is seeking an experienced Head of Legal and Contract Management to lead our legal and commercial team
Référence
R-114325
Date d’expiration
01/01/0001
Salaire
Localisation
Stockton-on-Tees
Job Type
Flexible Working
Full Time
Career Area
Project management
Marché
Villes et développement urbain
Category
Permanent
Location
Stockton-on-Tees
Description
The AtkinsRéalis Infrastructure Project Delivery Practice (PDP) is the centre of excellence for the delivery of infrastructure projects and combines the best in project management and design managemen
Référence
R-114321
Date d’expiration
01/01/0001
Salaire
Localisation
Stockton-on-Tees
Job Type
Flexible Working
Full Time
Career Area
Project management
Marché
Villes et développement urbain
Category
Permanent
Location
Stockton-on-Tees
Description
The AtkinsRéalis Infrastructure Project Delivery Practice (PDP) is the centre of excellence for the delivery of infrastructure projects and combines the best in project management and design managemen
Référence
R-114319
Date d’expiration
01/01/0001
Salaire
Localisation
Epsom
Job Type
Flexible Working
Full Time
Career Area
Natural sciences
Marché
Villes et développement urbain
Category
Permanent
Location
Epsom
Description
To meet our growing project workload and help us design and apply new approaches to our work, we are looking for an experienced and enthusiastic Principal or Associate Ecologist to join our Epsom offi
Référence
R-114316
Date d’expiration
01/01/0001
Salaire
Localisation
London
Job Type
Full Time
Career Area
Architecture
Category
Permanent
Location
London
Description
Project Architect Role in the London StudioWe are AtkinsRealis: Architecture, Master planning, and Interior Design.We are a top 10 UK based global design Practice whose reputation is built on a cultur
Référence
R-114289
Date d’expiration
01/01/0001
Salaire
Localisation
Val D'Or
Job Type
Full Time
Career Area
Civil engineering
Marché
Villes et développement urbain
Category
Permanent
Location
Amos
La Sarre
Rouyn-Noranda
Val D'Or
Description
Ingénieur(e) en génie civilAtkinsRéalis en Abitibi-Témiscamingue est en pleine croissance! Répartis dans plusieurs bureaux, nous offrons des services de génie-conseil et d’ingénierie d’usine principal
Référence
R-114285
Date d’expiration
01/01/0001
Salaire
Localisation
Bristol
Job Type
Full Time
Career Area
Health & safety
Category
Permanent
Location
West Midlands
Bristol
Exeter
Cardiff
Description
Location: Bristol/Birmingham/South West & South Wales OfficesJob DescriptionAtkinsRéalis is one of the world’s leading multi-disciplinary consultancy firms offering unparalleled opportunities for tale
Référence
R-114270
Date d’expiration
01/01/0001
AtkinsRéalis
Explorez les possibilités et voyez comment vous pouvez changer le monde en faisant ce que vous aimez chez AtkinsRéalis
Apprenez-en plus