FME Lab Logo

The Formal Methods Engineering (FME) Lab, part of the Software and Systems Security group at the University of Manchester (Department of Computer Science), led by Dominik Winterer, aims at driving Formal Methods to mainstream adoption, making critical software bugs extremely rare.

Core Areas:
  • Formal Methods
  • Security
  • Software Engineering / Programming Languages

Openings

We are hiring! I am looking for PhD students πŸ‘©β€πŸŽ“πŸ‘¨β€πŸŽ“, interns πŸ‘©β€πŸ’»πŸ‘¨β€πŸ’», and visitors πŸ§³πŸ§‘β€πŸ€β€πŸ§‘

Qualities of ideal candidates include:

  • Strong implementation skills and a desire to create open-source tools
  • The ability to come up with original research ideas and develop new approaches
  • Being unafraid to tackle challenging, important research problems, question existing assumptions/paradigms, and do interdisciplinary work
  • An interest in improving both technical and non-technical skills
  • Resilience and persistence to deal with and work through setbacks
  • A desire to write, publish, and present at top venues (PLDI, ICSE, OOPSLA, FSE, CAV, CCS, etc.)
  • Motivation to share their work with the community (through presentations, peer discussions, personal websites, etc.)

If you have some of these qualities and are interested in working with me, please send your CV and other relevant materials to fme.lab.recruiting@gmail.com.

-- Dominik WINTERER
Slide 1 Slide 2 Slide 3 Slide 3 Slide 3