20 proof-checking-postdoc-computer-science-logic PhD research jobs 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
-
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
-
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
-
the field of green computing focusing on quantifying and reducing the environmental impacts of computational science. The tools and frameworks developed and maintained by the group are used internationally
-
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
-
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
-
One Research Associate position exists in the data-driven mechanics Laboratory at the Department of Engineering. The role is to set up a machine learning framework to predict the plastic behaviour
-
or sensor arrays. Experience generating, processing and analysing large material property datasets including correlating between multiple techniques, or developing computational reconstruction techniques
-
deliver world class turbine testing at TRL 6 level in the Whittle Laboratory's new National Centre for Propulsion and Power. This will require you to create and execute engineering design, computational