Formal Verification Engineer (Theorem Proving)
SNC-Lavalin
Job DescriptionLeading the edge of transformationYou 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 TeamStep 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 RoleThe 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-
What you can bring?Essentials-
Desirable-
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:.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.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| #AEDCWorker Type EmployeeJob Type RegularAt AtkinsRéalis, we seek to hire individuals with diverse characteristics, backgrounds and perspectives. We strongly believe that world-class talent makes no distinctions based on gender, ethnic or national origin, sexual identity and orientation, age, religion or disability, but enriches itself through these differences.
Bristol Area
Sun, 07 Apr 2024 22:09:54 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (globalvacancies.org) you saw this job posting.
Job title: Senior Lecturer (Mathematics/Theoretical Physics) Company University of Hertfordshire Job description FTE: 1.0 fte…
Job title: Engineering Designer - Water - Wastewater Company IBI Group Job description , and…
Job title: Professor in Clinical Psychology Company King's College London Job description Professor in Clinical…
Job title: PE Teacher Company Academic Appointments Job description 1302013145145Academic Appointments Ltd is currently working…
Job title: Distributor Company Canadian Pacific Railway Job description and logistics would be an asset…
Job title: Lecturer in English and Creative Writing Company University of Plymouth Job description We…