3 formal-verification-computer-science PhD positions in United Kingdom

PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester | Manchester, England | United Kingdom | about 1 month ago

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

PhD Studentship: Digital Commentary Driving for Regulatory Compliance and Risk Assessment in Autonomous Vehicles

University of Surrey | Guildford, England | United Kingdom | 19 days ago

used in other safety-critical sectors. Review international AV regulations and identify gaps in explainability and traceability. Develop a formal DCD model capable of representing AV reasoning and

PhD Position in Theoretical Computer Science

University of Warwick | Warwick, England | United Kingdom | about 2 months ago

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