Researcher in Verification and Validation

4 days 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 Arm Full time

    Verification and Validation Engineering RoleThe ISP group at Arm designs Image Signal Processors and similar technology for various markets, including Automotive, Embedded-IoT, Teleconferencing, and Surveillance. As a Senior Verification/Validation Engineer, you will be responsible for enhancing existing testbenches to improve performance, quality, and...


  • Manchester, United Kingdom Future Select Recruitment Full time

    About the RoleThis is an excellent opportunity to join a leading provider of Clean Air / Cleanroom services as a Validation and Verification Expert. You will be responsible for testing critical ventilation systems, validating and verifying systems accurately, and working hands-on as a Validation Engineer.Key Skills and Qualifications- Experience working in...


  • 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 CV-Library Full time

    At Arm, we're seeking a skilled SoC Validation and Verification Specialist to join our Systems Development team. As a key member of our team, you'll play a crucial role in creating subsystems and SoC designs for various application segments using the latest IP products from Arm and other vendors.Main Responsibilities:Verification Expertise: You'll have...


  • Manchester, United Kingdom Permanent Futures Full time

    We are seeking a Senior Verification and Validation Engineer to join our team at Permanent Futures. The successful candidate will have experience of supporting the Engineering team with Verification and Validation activities across complex electronics projects.The scope of these V&V activities covers every stage of the project life cycle. The Senior V&V...


  • 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...

  • Research Fellow

    4 days ago


    Manchester, United Kingdom The University of Manchester Full time

    Company Overview: The School of Computer Science at the University of Manchester is a leading research institution, collaborating with industry partners to develop innovative technologies.Salary: We offer a competitive salary range of £35,000 - £40,000 per annum, commensurate with experience.Job Description: As a Postdoctoral Research Assistant Full-time,...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Opportunity at The University of ManchesterWe are seeking a highly skilled Senior Research Expert to join our Autonomy and Verification Research Group. This is a full-time, fixed-term post tenable from April 2025 until September 2027.About the RoleThe successful candidate will have expertise in verification, validation, and assurance of security for...


  • Manchester, United Kingdom Permanent Futures Full time

    Permanent Futures is seeking a Senior Electronics Engineer to join our team in Manchester. As a Senior Electronics Engineer, you will be responsible for supporting the Engineering team with Verification & Validation activities across complex electronics engineering projects.The scope of these V&V activities covers every stage of the project life cycle –...


  • Manchester, United Kingdom ARM Full time

    About The Team: Join our dynamic FPGA Prototyping verification team, a key part of Arm's Solutions Engineering group! We are a dedicated group of engineers providing a robust platform to build and test software on Arm's cutting-edge subsystems and System-on-Chips (SoCs). Our mission is to accelerate the development process by offering a versatile and...


  • Manchester, United Kingdom The University of Manchester Full time

    We are seeking a highly skilled researcher to join our team at The University of Manchester.The successful candidate will have a strong background in logic and formal methods, with expertise in Temporal Logic, formalising Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI.As a Research Associate, you will contribute to our research on...


  • Manchester, United Kingdom ARM Full time

    About the TeamAt Arm, our FPGA Prototyping verification team plays a key role in Arm's Solutions Engineering group. We're a dedicated group of engineers who provide a robust platform to build and test software on Arm's cutting-edge subsystems and System-on-Chips (SoCs). Our mission is to accelerate the development process by offering a versatile and...


  • 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...

  • Research Associate

    3 weeks ago


    Manchester, United Kingdom The University of Manchester Full time

    The School Computer Science invites applications from suitably qualified candidates for a full time, fixed term post of postdoctoral research associate (PDRA), tenable from 1st April 2025 until 30th September 2027 to join the Autonomy and Verification Research Group. We are looking to appoint a PDRA with expertise in the verification, validation and...


  • 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...


  • greater manchester, United Kingdom ARM Full time

    This role offers an exceptional opportunity for a seasoned verification professional to contribute to the growth and success of Arm's Systems ISP team.Job SummaryWe are seeking a highly skilled Senior Verification Specialist to join our thriving ISP product verification team. As a key member, you will be responsible for designing and developing new hardware...


  • Manchester, United Kingdom Permanent Futures Full time

    Join Permanent Futures as an Electronics Project Validation Lead and take on a senior role in our Engineering department. You will be responsible for leading the validation of complex electronics engineering projects, ensuring that all deliverables meet the highest standards of quality and compliance.About the PositionAs a key member of our team, you will...


  • Manchester, United Kingdom Arm Limited Full time

    Job OverviewAt Arm Limited, we're looking for a skilled Staff Validation Engineer to join our Systems Development team. This role involves verifying and testing sophisticated IP products, ensuring they work effectively within the software ecosystem.Key ResponsibilitiesDevelop and implement test plans, methodologies, and functional verification to meet...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Title: Machine Learning ResearcherWe are seeking a strong researcher to conduct research on logic and formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI, combining the benefits of Neural and Symbolic AI approaches. Key Responsibilities:Fundamental knowledge of Temporal Logic, formalising Hybrid Systems, Category Theory, or...