Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
development pipelines requires changes in meshing, solver technology, and verification practices. The project is designed to reduce this barrier by creating a practical approach that blends existing industrial
-
meshing, solver technology, and verification practices. The project is designed to reduce this barrier by creating a practical approach that blends existing industrial strengths in low-order mesh generation
-
Research theme: Control Engineering, Robotics How to apply: https://uom.link/pgr-apply-2425 UK only This 3.5-year PhD studentship is open to Home (UK) applicants. The successful candidate will
-
decision processes. Use the CARLA simulation platform to generate DCD-style data in high-risk or ambiguous driving scenarios. Build a proof-of-concept verification pipeline that maps DCD outputs
-
between reliability, performance, computational efficiency, and adaptability under uncertainty. The candidate will be affiliated with CRADLE (Center for Robotic Autonomy in Demanding and Long-Lasting
-
A PhD position is available at the Theory and Foundations group in the Department of Computer Science, University of Warwick, UK. The group works on various aspects of theoretical computer science
-
The PhD studentship will be based at the University of Cambridge in the Department of Materials Science and Metallurgy as part of the Structural Materials Group. The Structural Materials Group is a
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge
-
-verification, and in-country assessments of the nature, extent and likelihood of threats to these heritage sites. MAEASaM is a partnership programme, with the University of Cambridge serving as the lead and