411 proof-checking-postdoc-computer-science-logic positions at University of Cambridge
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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...
-
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...
-
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
-
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
-
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
-
On this day 113 years ago Alan Turing (KC 1931) was born. From the papers he published at Cambridge which are now recognised as the foundation of computer science, through his vital cryptanalysis
-
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
-
We are seeking an outstanding researcher to join Professor Teuta Pilizota's group at the University of Cambridge, in their effort to understand how physico-chemical forces limit bacterial growth and death. Vibrio natriegens is one of the fastest-growing organisms ever known, as it can double in...