444 proof-checking-postdoc-computer-science-logic positions at University of Cambridge
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
, the successful candidate will be required to undergo a Disclosure and Barring Service check (enhanced with adults' barred list). This appointment also requires NMC Registration and a Research Passport application
-
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
-
, computational modelling, and image analysis would also be valuable to the role. The successful applicant will be an excellent team player, highly solution-orientated and self-motivated. Excellent interpersonal
-
guidelines for evolutionary experiments. The successful candidate will hold (or be close to obtaining) a PhD in physics, evolutionary biology, systems biology or similar with a proven track record in
-
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
-
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 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
-
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
-
) 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