1 coding-"https:"-"Prof"-"FEMTO-ST" "https:" "https:" "https:" "https:" "https:" "https:" "https:" 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

verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability