[CS招生] Ph.D. positions at University of Manchester

Materials: Research (max 2 pages) + personal (max 1 page) statements + 2x references
Deadline: December 15
Apply at: https://shorturl.at/gcXJ9

Dominik Winterer is seeking to recruit talented Ph.D. students at the Formal Methods Engineering lab at the University of Manchester. Please apply to either one of the following studentships:

• FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods
  https://tinyurl.com/3faerjwy
• Formalizing Software Reliability: Theoretical Foundations and Practical Methods
  https://tinyurl.com/3vs87d9v
• Metamorphic Executions for Stable and Performant Software Systems
  https://shorturl.at/SWWYA
• Testing Zero Knowledge Proof Toolchains
  https://shorturl.at/Uy6KX
• Formalizing and Testing Function Boolean Conjectures with LLMs
  https://shorturl.at/JkOP4
• Guiding and Evaluating Neural Theorem Proving
  https://shorturl.at/0UZxW
  

Bio: I am an Assistant Professor (Lecturer) at the University of Manchester, where I lead the Formal Methods Engineering Lab. I completed my Ph.D. and PostDoc at ETH Zurich and previously interned at AWS and IBM Research. My Ph.D. advisor was Prof. Zhendong Su and I have many academic siblings in China. My research aims to establish Formal Methods Engineering (FME), a discipline focused on making mathematically rigorous bug-prevention methods practical and widely adopted.  As a first step, I led one of the largest academic bug-hunting efforts, uncovering kover 1,800 bugs and enabling more than 1,300 fixes in SMT solvers. I am now aiming to hire you to build FME further with your help!