32 proof-checking-postdoc-computer-science-logic PhD positions at University of Cambridge
Sort by
Refine Your Search
-
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
-
Biomedical Campus. You will join an exciting research programme investigating fundamental mechanisms of ribosome assembly, translational control and how defects in these processes drive cancer development
-
well as to initiate new queries. As a member of an interdisciplinary team, the candidate will have the opportunity to receive training in a variety of techniques, including molecular biology, embryology, imaging
-
Hamied Department of Chemistry. For further information about the research group, including their most recent publications, please visit their website at http://www-balasubramanian.ch.cam.ac.uk . Project
-
and an interest in and familiarity with computational protein engineering approaches is essential. Hands-on experience in computational protein design and engineering is desirable. The ability to work
-
of researchers who conduct cutting-edge research into NLP and AI within the University of Cambridge. Education: An excellent first degree in computer science, engineering or a closely related field Skills and
-
The Digital Mental Health Group at the MRC Cognition and Brain Sciences Unit is an innovative and collaborative research group studying the intersection between adolescent mental health, cognitive
-
researchers at the CCGE, Oregon Health & Science University (OHSU), and the German Cancer Research Centre (DKFZ). This research is part of a Cancer Research UK International Alliance for Cancer Early Detection
-
cancer early detection research. The postholder will work closely with researchers from the University of Cambridge, Oregon Health & Science University, the University of Manchester, the German Cancer
-
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