Openings
Our group has multiple openings for postdocs, research assistants and research interns. If one of these fits you, send me an email and let’s have a chat.
Prospective PhD students
I am always looking for self-motivated students from a range of backgrounds to push the boundary of formal methods towards more trustworthy AI and more secure systems. The group encourages research with either theoretical depth or practical impact, across formal methods, software engineering, AI/ML and security.
What helps. A strong background and interest in mathematics and logic — and, more importantly, a genuine appetite for doing research.
What you would work on
Formal methods & program analysis
Program verification, model checking, symbolic and concolic execution, and formal semantics.
Software engineering for AI
Testing, verification and repair of neural networks, LLMs and agent applications.
AI for software engineering
LLM-enabled formal methods — formal modelling, verification and code generation.
System & AI security
Attacks and defences for AI models and applications, and formal security analysis.
Browse recent papers by theme to see what the group is working on.