[TYPES/announce] Faculty position in Cambridge, closing date December 5

Jamie Vicary jamie.vicary at cl.cam.ac.uk
Wed Oct 12 04:32:47 EDT 2022

See message below from Neel Krishnaswami.


Dear friends,

We are hiring for several faculty position at the University of
Cambridge. One of our target areas is logical foundations and formal
methods. This is intended to be construed very broadly, to cover almost
everyone working in programming languages, logic, semantics, proof
assistants, and verification -- if you think your research area might be
in scope, it almost certainly is!

The deadline for applications is December 5, and the link to our
advertisement is:


If you have any questions, please do feel free to contact me
<nk480 at cl.cam.ac.uk> or the committee chair, Prof. Marcelo Fiore
<marcelo.fiore at cl.cam.ac.uk>.



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.

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

More information about the Types-announce mailing list