438 proof-checking-postdoc-computer-science-logic positions at University of Cambridge
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
holidays) Free meals on shift A 6% employer contributory pension scheme Free car parking (if available) Life assurance x3 salary A health cash back scheme Cycle to work scheme Wellbeing programme including
-
, 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
-
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
-
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
-
) 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
-
), 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
-
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