Applied Formal Methods Researcher (Lean 4)
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
Edinburgh Napier University invites applications for a Senior researcher to work on formal and ML-based dialogue modelling. The project combines formal models with state-of-the-art conversational AI to plan, guide and self-evaluate utterances in human-machine dialogue.
The ideal candidate has a first degree in CS with ML, knowledge of Argumentation Theory and NLP, plus 5+ years' research experience and strong communication skills. IELTS 6.5+ is expected for English proficiency.
#J-18808-Ljbffr
Full job description from WhatJobs. Apply for this role →
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
Explore: Construction recruitment Specialist jobs in Edinburgh
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.