Faculty position in logical foundations & formal methods, Cambridge (England)

The Department of Computer Science and Technology at the University of Cambridge is seeking to recruit a faculty member in the area of Logical Foundations and Formal Methods.

The position is open to researchers working in the area of formal methods and logical foundations of computer science, broadly conceived. 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.