36 proof-checking-postdoc-computer-science-logic PhD positions at University of Cambridge
Sort by
Refine Your Search
-
-level degree in Mathematics or Computer Science with an orientation towards Theoretical Computer Science. A strong background in logic and complexity theory is highly desirable and the candidate must
-
Department of Computer Science and Technology for a fixed term of one year. The Research Associate will play a pivotal role in our research into the teaching and learning computing at the school level. Key
-
engineering. Applicants are expected to have (or be close to obtaining) a PhD in information engineering, computer science, civil engineering or cognate discipline. They should also have good written and spoken
-
duties involve supporting computational infrastructure, coordinating with wider spectroscopic project teams and external science users, contributing to documentation and user manuals, and collaborating
-
facilities for over 20 research groups to undertake world-class research into all aspects of cancer biology. Our research focuses on identifying biomarkers for therapy and clinical trials using genomic and
-
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
-
networking with colleagues and students; planning and organising research resources and workshops. Successful applicants will have or be near to completing a PhD in computer science, information engineering
-
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
-
A position exists, for a Research Assistant/Associate in the Department of Engineering, to work on Microwave Photonics. The post holder will be located in West Cambridge, Cambridgeshire, UK. The key
-
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