436 proof-checking-postdoc-computer-science-logic positions at University of Cambridge
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
The Medical Research Council Toxicology Unit is a leading International Research Institute within the School of Biological Sciences, University of Cambridge. The Unit's overall aims are to carry out
-
Within the Biological Resources Unit, we work very closely with research groups in order to deliver award winning science. This close relationship allows our technicians to be an integral part of
-
atmospheric science, computational mathematics and physics. Experience with the Unified Model or atmospheric modelling is highly desirable but not essential. Experience with radiative transfer models
-
efficient DNA repair, and particularly, how this impacts mutagenesis. The postholder will assist with a variety of molecular biology experiments to identify and characterise DNA damage response mechanisms
-
technology and methodologies in these investigations, including functional and structural magnetic resonance imaging, induced pluripotent stem cells (iPSC), whole genome sequencing, genome wide association
-
development. The ideal candidate will have a PhD in a relevant biological subject, together with experience in molecular biology, cell biology and immunology. Familiarity with flow cytometry, vascular biology
-
local contexts. The successful candidate will be encouraged to contribute to all components of the group's programme but will be expected to i) map the range of primary and community health services
-
Fixed-term: The funds for this post are available for 1 year in the first instance. The faculty of Economics is looking to hire a Postdoctoral Research Associate starting August 2025, although
-
processing development and at least a BSc (Hons) degree in a numerate discipline (preferably Computer Science, Computer Engineering, or a science with a significant computing element). The candidate should
-
Natural Language Processing (NLP) in the areas of culturally aware NLP or multilingual conversational NLP, and integration of such methods to support language technology in multiple languages