Computer Scientist – Safety Critical Software

Job title:

Laptop Scientist – Security Important Software program

Firm

SNC-Lavalin

Job description

Job DescriptionMain the Fringe of Transformation.We work throughout a variety of domains from defence, vitality to aerospace and rail. We provide a variety of tasks to allow you to boost and broaden your profession and fulfil your potential. We’re proud to say our success is due to our folks’s variety of thought, experience, and data.Whenever you be part of us, you will be part of a collaborative and various atmosphere, the place we embrace variety and equal alternatives and the advantages that brings to our enterprise.We’re keen about what we do. AtkinsRéalis is a good place to work and develop a profession. We consider in a work-life stability and to maximise your potential we provide a variety of versatile working choices. These insurance policies are right here to maximise your high quality of life, for you and your loved ones.Our Security Important Software program GroupStep right into a rewarding profession with our Security-Important Software program staff. Our staff concentrate on consultancy, improvement and verification of software program and programmable {hardware} in safety-critical and security-critical programs. We work on most of the UK’s largest infrastructure programmes. The staff prides itself on high-quality work utilizing the very best obtainable strategies and applied sciences.The FunctionThe function is to guide re-development of the MALPAS instrument. Formal Verification and Static Code Evaluation is a key expertise that we use, primarily by means of the MALPAS instrument, which AtkinsRéalis develops and helps. The MALPAS implementation has a variety of obsolescence points and we’re initiating a mission to re-develop the instrument. A key purpose can be to extend automation achieved by our formal verification instruments, notably to analyse for cyber vulnerabilities.Your goal:You may be accountable for-

• Main the re-development of our formal verification instruments.
• Understanding the present and future business wants and drivers for the Static Code Evaluation / Formal Verification of software program.
• Setting the Formal Verification technical technique together with the self-discipline lead.
• Defining the method by which MALPAS can be redeveloped.
• On-going enhancement and assist of the instrument following the implementation section.
• Supporting the skilled improvement of colleagues.
• Participating with exterior our bodies resembling universities {and professional} establishments such because the BCS and IET to maintain AtkinsRéalis updated with developments in expertise and to boost consciousness of AtkinsRéalis’ capabilities and profession alternatives.

What you may deliver?Necessities-

• A Laptop Science or Software program Engineering diploma at 2.1 or 1st.
• Postgraduate expertise or PhD in a Laptop Science topic, ideally related to formal verification and theorem proving.
• Sturdy programming expertise, together with data of assembler and compilers.
• Expertise of creating software program compliant with a top quality system, together with software program improvement planning, instrument choice and good documentation.
• Good communication abilities.

Fascinating-

• Chartered Engineer or Scientist or working your approach in direction of this.
• Security-critical, or security-critical software program data and expertise.
• Expertise of working to high quality requirements.

Why work for AtkinsRéalis?Folks be part of us as a result of they share a want to be on the forefront of the ADS&T Enterprise Unit and ship excellent tasks.We empower our folks to be the skilled people they need to be, engaged on tasks they really feel pleased with, making a distinction to the world they stay in and the legacy they go away behind.We worth variety and consider that everybody deserves to thrive, with out exception. We’ve signed the MoD’s “Ladies in Defence” and “Ladies in Aviation and Aerospace” charters. These pledges embrace offering alternatives for ladies to succeed in any respect ranges. We’re additionally dedicated to being a Army pleasant employer and have been recognised with the Ministry of Defence’s (MoD) Gold Employer Recognition Award.We develop people by means of a portfolio of coaching and improvement programs designed that will help you make the very best of your skills and abilities. We encourage participation in all types of coaching and have an energetic programme of in-house in addition to exterior coaching for all our workers.Assembly your wants:Whenever you begin with us, you will get pleasure from “Complete Reward”, a bundle that may be tailor-made to your life-style, profession and private wants. From versatile holidays to life assurance, well being & wellbeing advantages, and profession planning for the senior stage of your profession.Ensuring you are supported is essential to us. So, should you establish as having a incapacity, inform us forward of your interview. And let’s discuss any changes you would possibly want.New identify, new period. We’re AtkinsRéalis. It’s going to take a while for all our info to replace – you may nonetheless check with our unbelievable advantages through the hyperlink beneath:.Extra about us:AtkinsRéalis, is a prime world consultancy with over 100 years of design and engineering experience. With us, you will be surrounded by the talents, data and assist that will help you succeed. Collectively, we are able to ship tasks which have a constructive, sustainable affect on the world.AtkinsRéalis, is the place UK professionals need to work and keep as soon as they be part of. We’re additionally a Silver Score holder within the Aerospace & Defence sector, as per the Monetary Instances ranking of the UK’s main administration consultants.Further Data:This function could require safety clearance and provides of employment can be depending on acquiring the related degree of clearance. If that is needed, it is going to be mentioned with you at interview. The vetting course of is delivered by United Kingdom Safety Vetting (UKSV) and will require candidates to offer proof of residency within the UK of 5 years or longer. If making use of to this function please don’t make reference to (in dialog) or embrace in your software or CV, particulars of any present or beforehand held safety clearance.We’re dedicated to selling a various and inclusive group – a spot the place we are able to all be ourselves, thrive and develop. To assist embed inclusion for all, from day one, we provide a spread of household pleasant, inclusive employment insurance policies, versatile working preparations and worker networks to assist workers from totally different backgrounds. As an Equal Alternatives Employer, we worth functions from all backgrounds, cultures and talent.#LI-ADST | #LI-UKEmployee Kind WorkerJob Kind CommonAt AtkinsRéalis, we search to rent people with various traits, backgrounds and views. We strongly consider that world-class expertise makes no distinctions based mostly on gender, ethnic or nationwide origin, sexual identification and orientation, age, faith or incapacity, however enriches itself by means of these variations.

Anticipated wage

Location

Bristol Space

Job date

Fri, 29 Mar 2024 23:49:28 GMT

To assist us monitor our recruitment effort, please point out in your electronic mail/cowl letter the place (globalvacancies.org) you noticed this job posting.