Researcher in Verification and Validation

1 month ago


Manchester, United Kingdom The University of Manchester Full time

Role Overview

The University of Manchester invites applications for a postdoctoral research position to join the Autonomy and Verification Research Group. As a Researcher in Verification and Validation, you will contribute to the CRADLE project, developing novel technologies for Robotic Autonomous Systems.

Responsibilities

  • Conduct research in formal methods, verification, and validation of security for computational and robotic systems
  • Collaborate with industry partners to develop assurance routes for Autonomous and Robotic Systems
  • Work with a team to achieve project goals and deliverables

Requirements

  • PhD in Computer Science or related field
  • Expertise in formal methods, verification, and validation
  • Strong communication and collaboration skills

What We Offer

  • A competitive salary range: £38,000 - £50,000 per annum (dependent on experience)
  • Generous benefits package
  • Opportunities for professional development


  • Manchester, United Kingdom The University of Manchester Full time

    About the Role: We are seeking an exceptional researcher to join our Autonomy and Verification Research Group as a Postdoctoral Research Assistant Full-time. In this role, you will collaborate with our team to develop innovative solutions for verification, validation, and assurance of security for computational and robotic systems.Key Responsibilities: Your...


  • Manchester, United Kingdom The University of Manchester Full time

    About the Job: As a Postdoctoral Research Assistant Full-time in the Autonomy and Verification Research Group, you will be responsible for advancing the field of verification, validation, and assurance of security for computational and robotic systems.Responsibilities: Your key responsibilities will include developing novel methods for verification and...


  • Manchester, United Kingdom Permanent Futures Full time

    Job Summary: Permanent Futures seeks a skilled Senior Validation and Verification Engineer to join our client, a specialist electronics engineering design and manufacturing business based in the North of England.About the Role:The successful candidate will have experience supporting the Engineering team with Verification & Validation activities across...


  • Manchester, United Kingdom CV-Library Full time

    Job Summary:The successful candidate will be responsible for specifying and developing new hardware verification testbenches for future generation hardware IP. They will also improve existing testbenches to increase performance, quality and efficiency. In addition, they will identify areas for improvement in methodologies and implement those changes to...


  • Manchester, United Kingdom The University of Manchester Full time

    Soteria is a cyber-security demonstrator for the e-commerce industrial market. UKRI funds it as part of the Industrial Strategy Challenge Fund, Digital Security by Design (DSbD) Challenge. DSbD is a substantial program of advanced collaborative research and development, technology prototyping, and business-led demonstrators, which aims to radically update...


  • Manchester, United Kingdom The University of Manchester Full time

    Job DescriptionWe are seeking a highly skilled researcher to join our Autonomy and Verification Group at The University of Manchester. This position is focused on formalising and analysing Neuro-Symbolic AI, which combines the strengths of Neural AI and Symbolic AI approaches.The successful candidate will have expertise in Temporal Logic, formalising Hybrid...


  • Manchester, United Kingdom Economicsnetwork Full time

    Autonomous Systems ResearcherWe are looking for an experienced researcher to join our team as a Postdoctoral Research Associate. The successful candidate will work on developing and implementing formal methods and verification techniques for security and certification of Autonomous and Robotic Systems. About the ProjectThe CRADLE project is a collaborative...


  • Manchester, United Kingdom The University of Manchester Full time

    Research Assistant/Associate in Machine LearningAbout the RoleIn this exciting research position, you will be working within the Autonomy and Verification Group at The University of Manchester to explore the intersection of machine learning and formal methods. Your primary focus will be on developing a formal basis for Neuro-Symbolic AI, combining the...


  • Manchester, United Kingdom Workonblockchain Full time

    Workonblockchain is a globally recognized semiconductor company based in Manchester. We are currently seeking a skilled SoC Verification Engineer to join our team on a permanent basis.About the Position:This is a mid to senior level role offering excellent career progression opportunities.The successful candidate will be responsible for implementing and...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Title: Machine Learning ResearcherWe are seeking a highly skilled Machine Learning Researcher to join our team at The University of Manchester.The successful candidate will conduct research on logic and formal methods, with a particular focus on providing a formal basis for Neuro-Symbolic AI. This will require expertise in Temporal Logic, formalising...


  • Manchester, United Kingdom Arm Full time

    Job DescriptionWe are seeking a skilled Senior Validation Officer to join our team at Arm. As a key member of our verification group, you will be responsible for designing and developing complex verification environments to ensure the quality and reliability of our IP products.The successful candidate will have experience in working with constrained-random...


  • Manchester, United Kingdom Azenta, Inc. Full time

    About the Job:We are looking for a Validation and Automation Systems Engineer to join our cross-functional team on new product development and research and development projects.The successful engineer will be responsible for the system integration/development and validation of all Azenta Life Science store products, including configuring hardware and...


  • Manchester, United Kingdom European Tech Recruit Full time

    We are seeking a talented Senior IC Verification Specialist to join our team at European Tech Recruit. This is an exciting opportunity for someone with a passion for SoC verification, who wants to make a meaningful contribution in a dynamic environment.About the Role:The successful candidate will be responsible for designing and executing verification...


  • Manchester, United Kingdom Arm Full time

    Role SummaryThis Staff Validation Engineer position requires a highly skilled individual with expertise in verification complexities, software engineering, and collaboration. The successful candidate will be responsible for driving efficient bug discovery and coverage closure, mentoring team members, and contributing to the improvement of our verification...


  • Manchester, United Kingdom Workonblockchain Full time

    We are seeking a skilled SoC Verification Engineer to join our team at Workonblockchain in Manchester. This is a permanent position offering hybrid working options and excellent career progression opportunities.Key Responsibilities:Implementing and validating verification flows for various semiconductor designs using SystemVerilog and Verilog.Collaborating...


  • Manchester, United Kingdom European Tech Recruit Full time

    About the Job:As a SoC Test and Validation Expert, you will play a critical role in ensuring the quality and reliability of our SoC designs. Your primary responsibility will be to design and execute verification methodologies to validate assigned SoC modules comprehensively.Key Responsibilities:Develop and execute comprehensive verification plans for...


  • Manchester, United Kingdom The University of Manchester Full time

    About the RoleWe are seeking a Postdoctoral Research Fellow to join our team at The University of Manchester. As a member of the Autonomy and Verification Research Group, you will work on the CRADLE project, exploring innovative solutions for Robotic Autonomous Systems.Key ResponsibilitiesDevelop and implement formal methods for verification and...


  • Manchester, United Kingdom Arm Full time

    About the RoleWe are looking for a highly skilled Senior Validation Officer to join our team at Arm. The ideal candidate will have a strong background in system verification and a proven track record of delivering high-quality results.In this role, you will be responsible for designing and developing complex verification environments to ensure the quality...


  • Manchester, United Kingdom Permanent Futures Full time

    We are seeking a Senior Electronics Verification Specialist to join our team at Permanent Futures in Manchester. As a key member of our Engineering department, you will play a crucial role in supporting the delivery of complex electronics engineering projects.About the RoleOur ideal candidate will have experience in verification and validation activities...


  • Manchester, United Kingdom Workonblockchain Full time

    Job Summary:We are seeking an experienced SoC Verification Engineer to join our team at Workonblockchain. The successful candidate will be responsible for implementing and validating verification flows for various semiconductor designs.The ideal candidate will have a solid grasp of digital design fundamentals, familiarity with computer architecture, and...