University of Cambridge

Job Opportunities


Assistant/Associate Professor in Logical Foundations and Formal Methods

The Department of Computer Science and Technology is seeking to recruit a new faculty member at the Assistant or Associate Professor level who can contribute to research and teaching in the area of Logical Foundations and Formal Methods.

The Computer Science department in Cambridge has a long history of research in logical foundations and formal methods, from groundbreaking work on higher-order logic and the proof assistant Isabelle, through to a wide range of important semantic frameworks, such as bigraphs, event structures, and nominal sets. Today logical foundations and formal methods is a thriving area of activity, which is explored with a wide variety of mathematical and logical tools, including category theory, domain theory, finite model theory, linear logic, operational semantics, proof assistants, and type theory.

We seek to appoint a new member of faculty to complement and enhance our research in this area. The position is open to researchers working in the area of formal methods and logical foundations of computer science, broadly conceived. While no list of topics could be exhaustive, potential candidates might work in the areas of automata theory, automated deduction, categorical syntax and semantics, descriptive complexity, homotopy type theory, modal or temporal logic, rewriting, or type theory, as could researchers applying formal or logical tools in concurrency theory, databases, networks, programming languages, quantum computing and other emerging models of computation, or verification.

The ideal candidate for this position will have a strong international track record of publication and impact commensurate with their research area and experience. They will have the ability, or potential, to secure research funding to support their research vision and build a world-class team of researchers. We welcome applications from researchers with interdisciplinary interests who will collaborate with people across different subdisciplines in Computer Science and Technology and with other academic disciplines. Collaborations outside academia are also highly-valued, including with industry and third-sector organizations.

Candidates will be excellent communicators and will be committed to the teaching of both undergraduate and Master's courses. They will also be expected to supervise research at Masters and PhD level.

Please see the Further Particulars for details of expectations of research, teaching and other aspects of the role.

The appointment will be from 1 September 2023 or as soon as possible thereafter.

Interested applicants are encouraged to make informal enquiries about the post to Professor Marcelo Fiore,

Interviews will be held in Cambridge on 9 and 10 February 2023.

Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.

Please ensure you upload the following documents:

  • Curriculum vitae

  • A complete list of publications

  • Covering letter including a 2-4 page summary of your research interest and future plans, and of your teaching experience.

You should also provide the contact details of three referees. If you upload any additional documents which have not been requested, we will not be able to consider these as part of your application.

Please quote reference NR33471 on your application and in any correspondence about this vacancy.

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK.

Further information

Apply online