Research Associate in Formal Verification for Robot

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

Research Associate in Formalising Neuro-Symbolic AIJob Summary: We are seeking a highly skilled researcher to join our Autonomy and Verification Group in the Department of Computer Science at The University of Manchester. The successful candidate will conduct research on formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI.About the...

Formal Methods and Verification - Certification and Assurance - Transparency and Explainability - Trustworthy Autonomous Systems - Autonomy and Agent Systems Crucially, you will have an interest in working with regulatory and certification bodies and industry develop routes for the assurance of Autonomous and Robotic Systems. You will work with Dr Louise...

About the RoleWe are seeking an exceptional Senior/Staff Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will play a crucial role in creating cutting-edge GPU IP for a wide range of market segments and applications.Your primary responsibility will be to deliver formal verification...

About the RoleWe are seeking an exceptional Senior/Staff Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will play a crucial role in creating cutting-edge GPU IP for a wide range of market segments and applications.Your primary responsibility will be to deliver formal verification...

Contract Opportunity: Formal Verification EngineerAre you passionate about pushing the boundaries of IP Verification in a fast-paced environment? We have an exciting contract opportunity for a Formal Verification Engineer to join our industry-leading System Memory Management Product team.As a key member of our team, you will be responsible for developing new...

Contract Opportunity: Formal Verification EngineerAre you passionate about pushing the boundaries of IP Verification in a fast-paced environment? We have an exciting contract opportunity for a Formal Verification Engineer to join our industry-leading System Memory Management Product team.As a key member of our team, you will be responsible for developing new...

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

Applications are welcome for a Research Associate in Space Robotics at The University of Manchester funded by UKSA Enabling Technologies Programme funded project Rappelling and Exploration Robotics for Space Applications (RESA). This role will focus on the development of a hopping robotic exploration platform and auxiliary tethered descent system for...

Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the System IP team at a world-leading Semiconductor Company. The team is responsible for the development of next-generation industry-leading CPU and GPU processors.Key Responsibilities:Improve existing test benches...

Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the System IP team at a world-leading Semiconductor Company. The team is responsible for the development of next-generation industry-leading CPU and GPU processors.Key Responsibilities:Improve existing test benches...

Researcher Position in Formalising Neuro-Symbolic AIWe are seeking a highly skilled researcher to contribute to our project on formalising and analysing Neuro-Symbolic AI. This exciting opportunity is part of our ongoing research in the Autonomy and Verification Group at The University of Manchester.About the RoleThe successful candidate will be responsible...

Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key Responsibilities:Improve existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key Responsibilities:Improve existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

Background This is a new project taken in the smart manufacturing group led by Prof. Charlie Wang. The project aims to enable a deformable mannequin to facilitate the customised garment production for different body shapes by employing the many more degree-of-freeform deformation that can be provided by a soft robotic system rather than conventional...

Are you passionate about reshoring fashion manufacturing to the UK and advancing sustainable, zero-carbon production methods? Join an innovative two-year project alongside world-class partners, including Professor Postlethwaite, Director of the Robotics Living Lab, Bennetts Associates, Martyn Evans, Creative Director at LandsecU+I, and Global Chair Jalaj...

The RA should have strong interpersonal skills and be able to work with other work package team members in a positive manner. The work of the RA will contribute to the outcomes of two different work packages of AMPI. Other key investigators for this work are, Prof Guido Hermann, Dr Joaquin Gomez, Dr Judith Apsley (Actuators) and Professor Angelo Cangelosi...

Join Our Team as a Clinical Research AssociateAt Worldwide Clinical Trials, LLC, we are seeking a highly skilled Clinical Research Associate to join our team. As a Clinical Research Associate, you will play a vital role in ensuring the quality and excellence of our clinical research programs.Key Responsibilities:Conduct site qualifications, initiation,...

Join Our Team as a Clinical Research AssociateAt Worldwide Clinical Trials, LLC, we are seeking a highly skilled Clinical Research Associate to join our team. As a Clinical Research Associate, you will play a vital role in ensuring the quality and excellence of our clinical research programs.Key Responsibilities:Conduct site qualifications, initiation,...

About UsAt Worldwide Clinical Trials, we're a global team of over 3,500 experts who are passionate about changing the way the world experiences CROs. We believe that everyone plays a vital role in making a difference for patients and their caregivers.Our MissionWe're committed to advancing clinical research and making a profound impact on the lives of...