Jobs
>
Bristol

    Senior Verification/Validation Engineer - Bristol, United Kingdom - AtkinsRéalis

    Default job background
    Description
    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.

    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. The team prides itself on high-quality work using the best available techniques and technologies.

    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. Understanding the current and future industry needs and drivers for the Static Code Analysis / Formal Verification of software.
    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.

    A Computer Science or Software Engineering degree at 2.Postgraduate experience or PhD in a Computer Science subject, preferably associated with formal verification and theorem proving.

    Experience of developing software compliant with a quality system, including software development planning, tool selection and good documentation.
    Safety-critical, or security-critical software knowledge and experience.
    Experience of working to quality standards.

    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.

    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.

    So, if you identify as having a disability, tell us ahead of your interview. 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.

    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.

    This role may require security clearance and offers of employment will be dependent on obtaining the relevant level of clearance.

    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.



  • European Recruitment Bristol, United Kingdom

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor CompanyWould you like to work at one of the most cutting edge leading semiconductor companies globally?I'm currently on the lookout for multiple Verification Engineers to work within the CPU team a ...


  • IC Resources Bristol, United Kingdom

    ASIC Verification Engineer - Bristol Hybrid working model and a fantastic compensation package. · As a Digital Verification Senior Staff Engineer, you will work within the IP Development team in Bristol, a team with a proven track record in successful IP deliveries into Automoti ...


  • European Recruitment Bristol, United Kingdom

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to work within the CPU ...


  • Codasip Bristol, United Kingdom

    Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up culture · France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge) ...


  • European Recruitment Bristol, United Kingdom

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? I'm currently on the lookout for multiple Verification Engineers to work within the CPU t ...


  • European Recruitment Bristol, United Kingdom

    Job Description CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to wor ...


  • Groupe SII Bristol, United Kingdom CDI

    SII UK is part of the SII Group which has been operating for more than years and is one of the fastest growing companies in Europe. The Group proudly employs over , professionals worldwide, and is one of the top IT & Engineering services providers in France, Germany, Romania and ...


  • OPTALYSYS LTD City of Bristol, United Kingdom

    Job Description · Company Purpose · At Optalysys, we're developing hardware that will power the next generation of ultra-secure data management and computing. Our technology allows users to run analytics on data that is never decrypted, protecting data-in-use and enabling secure ...


  • OPTALYSYS LTD City Of Bristol, United Kingdom

    Company Purpose · At Optalysys, we're developing hardware that will power the next generation of ultra-secure data management and computing. Our technology allows users to run analytics on data that is never decrypted, protecting data-in-use and enabling secure processing in the ...


  • European Recruitment Bristol, United Kingdom

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to work within the CPU ...


  • European Recruitment Bristol, United Kingdom

    Job Description · CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to wo ...


  • OPTALYSYS LTD Bristol, United Kingdom

    Company PurposeAt Optalysys, we're developing hardware that will power the next generation of ultra-secure data management and computing. Our technology allows users to run analytics on data that is never decrypted, protecting data-in-use and enabling secure processing in the clo ...


  • Coalesce Management Consulting Bristol, United Kingdom Contract, Full time

    Coalesce Management Consultancy (CMC) have an consulting assignment available for a Verification Engineer to work on a project in the South West. · Established in 2016, we set out our mission to be the best service-driven consulting business in global STEM markets, and after rapi ...


  • European Recruitment Bristol, United Kingdom

    Job Description CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to wo ...


  • European Recruitment Bristol, United Kingdom

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? I'm currently on the lookout for multiple Verification Engineers to work within the CPU t ...


  • European Recruitment Bristol, United Kingdom

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor CompanyWould you like to work at one of the most cutting edge leading semiconductor companies globally?I'm currently on the lookout for multiple Verification Engineers to work within the CPU team a ...

  • Tessolve

    Verification Engineer

    2 hours ago


    Tessolve Bristol, United Kingdom

    Bachelor's or Master's degree in EE, CS, Physics, CE or closely related field. · Ability to create test bench from scratch: driver, sequencers, virtual sequencers, monitors, checkers and scoreboards · - Knowledge and experience in applying verification flows: from feature extra ...


  • Tessolve Bristol, United Kingdom

    Bachelor's or Master's degree in EE, CS, Physics, CE or closely related field. · Bachelor's or Master's degree in EE, CS, Physics, CE or closely related field. · • Tessolve Semiconductors, a venture of Hero Electronix, is a Design and Test Engineering Service Company providing ...


  • IC Resources City of Bristol, United Kingdom

    Job Description · Verification Engineer – Senior and Principal level · Bristol, UK · This is a fantastic opportunity to help support the build of a new Bristol based Chip Team, working on innovative, class leading silicon. · My client has opened a small design centre in the bustl ...


  • IC Resources Bristol, United Kingdom

    Verification Engineer – Senior and Principal level · Bristol, UK · This is a fantastic opportunity to help support the build of a new Bristol based Chip Team, working on innovative, class leading silicon. · My client has opened a small design centre in the bustling City of Bristo ...