Sort by
Refine Your Search
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
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
-
methods. This broad approach will offer several verification methods; the choice could be linked and justified by the value of an article. The activities here are motivated by the need to provide robust
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
-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
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
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