1 machine-learning "https:" "https:" "https:" "https:" "https:" PhD positions at The University of Manchester

Preparatory Exercises for PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

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

, and advanced machine learning in the engineering domain. Generative AI substantially changes the way engineers interact with and benefit from AI and access domain-specific knowledge, marking a phase