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
Model checking, theorem proving, symbolic execution and fuzzing.
Software engineering for AI
Testing, verification, and repair of neural networks, LLM applications and agents.
AI for software engineering
LLM-aided formal modelling and verification, agentic code generation.
Browse recent papers by theme to see what the group is working on.