412 proof-checking-postdoc-computer-science-logic positions at University of Cambridge
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
Senior Teaching Associate in Applied Mathematics and Theoretical Physics (Fixed Term, Part Time 25%)
and around 200 PhD students at the Centre for Mathematical Sciences, a purpose-built complex in Wilberforce Road, Cambridge. You will serve as a Senior Teaching Associate in Applied Mathematics and
-
About the role Newnham College is seeking to recruit a full time, permanent Deputy Buildings Manager to deputise for and support the Buildings Manager in all aspects of their work, managing an effective and efficient Maintenance team. Responsible for the delivery of routine, reactive and planned...
-
researchers at different stages of their career using mathematical and computational research to help our understanding of how pathogens spread in populations, assess control efforts and support policy making
-
Salary: circa £29,489 per annum, depending on skills and experience (2025/26 pay award pending) Hours: 37.5 hours per week (exclusive of meal breaks) Contract Type: Permanent, subject to six months’ probation Selwyn College, with a reputation for friendliness and good food, is recruiting for a...
-
The Department of Plant Sciences is seeking to appoint a post-doctoral Research Associate to investigate how DNA features contribute to gene expression and how these can be used for the predictable
-
William Cook Early-Career Research Fellowship and College Lectureship in Economics Thanks to a generous benefaction, Corpus Christi College, Cambridge (UK) seeks to appoint a William Cook Early
-
you need to be computer literate. This is a wonderful opportunity to work for the second oldest of the 31 Colleges in the University of Cambridge. Regarded as one of the most progressive and informal
-
The Gardens & Grounds at Madingley Hall Our historic garden spans eight acres of beautifully arranged grounds designed by Capability Brown. It features a variety of elements, including an impressive 18th-century walled garden and its distinctive hazel walk, further across the grounds you will...
-
state (aroused, asleep, groggy)? We are a small, supportive, and dynamic group (www.dehozlab.org ) made of a diversity of people united by a passion for science and the brain. The lab is now transitioning
-
prestigious research universities, and in the heart of the Cambridge Cluster, the most successful technology entrepreneurship cluster in Europe. Cambridge Judge Business School is a highly ranked modern