1 verification-computer-science PhD positions at The University of Manchester

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for verification-computer-science positions

PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester | Manchester, England | United Kingdom | 2 days 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

Searches related to verification computer science

Enter an email to receive alerts for verification-computer-science positions