412 proof-checking-postdoc-computer-science-logic positions at University of Cambridge
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
) cbl.eng.cam.ac.uk in the Information Engineering Division. CBL combines expertise in machine learning with computational neuroscience. The candidate will lead a research programme in one or more of the following
-
that the extensive programme of training sessions, workshops, lectures and conferences available to students are administered professionally and efficiently. The role-holder will also be responsible
-
Klenerman in the Yusuf Hamied Department of Chemistry, from October 2025 for up to 2 years. This is a collaborative project with Professor Clare Bryant in Clinical medicine and aims to image and characterise
-
but not limited to biology, computer science, engineering, population health, modelling) and an interest in policy A demonstrable ability to critically engage with technical policy documents related
-
to the launch of the Bloomberg Cambridge University Corporate Bond Index later in 2025 and the delivery of the ongoing research programme related to the index project. The successful candidate will undertake desk
-
), to start a research career in an environment committed to training outstanding cancer research scientists of the future. The Institute's particular strengths are in genomics, computational biology and
-
networks. This position is part of a UK-Canada Quantum for Science collaborative project "Quantum network applications in theory and practice" funded by STFC/EPSRC (UK) and NSERC (Canada), led by Professor
-
We are recruiting for a postdoctoral researcher to be based in the laboratory of Prof. Jim Haseloff at the Department of Plant Sciences, University of Cambridge. The appointee will help develop new
-
We are looking for a highly motivated, dedicated, physically fit (due to the nature of the job which can involve stairs) and loyal member of staff who has a 'can-do' attitude and can work at a good
-
Biology, 25: 1535¿1545. Timms RT et al. (2019) A glycine-specific N-degron pathway mediates the quality control of protein N-myristoylation. Science, 365 (6448): eaaw4912. Koren I, Timms RT et al. (2018