26 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
-
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
-
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
-
of mutation burden and cancer driver mutation (CDM) dynamics in response to carcinogenic exposure. By integrating new computational and experimental approaches (e.g. Laser capture microdissection and ecNGS
-
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
-
in Brain Injury (HRC) Fellowship Programme, which has been designed to support the research needs across its 5 themes: prevention & education, acute care & monitoring, restoration & rehabilitation
-
or sensor arrays. Experience generating, processing and analysing large material property datasets including correlating between multiple techniques, or developing computational reconstruction techniques
-
the cerebral cortex. fUS ultrasound waves are similar to CUS but using novel image reconstruction techniques and parallel computing technologies reaching 10,000 frames per second, enables very sensitive mapping