3 software-verification-phd PhD positions in United Kingdom

PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester | Manchester, England | United Kingdom | 2 months ago

? 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

Doctoral Researcher, MSCA Doctoral Network position “Electric Solar Wind Sail Mission Design”

AALTO UNIVERSITY | United Kingdom | 1 day ago

MSCA Doctoral Network position “Electric solar wind sail mission design” We are now looking for two (2) Doctoral Researchers. This PhD topic is part of the “Electric solar wind sail doctors” (E

AI for Certification and Lifecycle Monitoring: Intelligent Assurance in Safety-Critical Systems PhD

Cranfield University | Cranfield, England | United Kingdom | about 7 hours ago

graduate ready to drive change in AI-powered system certification and governance. Through this PhD, students will master the intersection of AI, verification, and regulatory compliance, gaining a rare