Formal methods and automated reasoning
Prepare a short explanation of a formal method you have used and how you would teach it to students.
The Postdoctoral Research Fellow role involves fostering capability in formal methods and automated reasoning among students and junior researchers.
Source posting