38 proof-checking-postdoc-computer-science-logic PhD positions at University of Cambridge in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
-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
-
Join our team as a Postdoctoral Research Assistant/Associate in Placental Biology. The McGovern and Aiken labs are seeking a talented and motivated Postdoctoral Research Assistant /Associate in
-
duties involve supporting computational infrastructure, coordinating with wider spectroscopic project teams and external science users, contributing to documentation and user manuals, and collaborating
-
A position exists, for a Research Assistant/Associate in the Department of Engineering, to work on structural timber engineering. The post holder will be located in West Cambridge, Cambridgeshire
-
research methods and theoretical frameworks, to work within and enrich the research programme. The post is suitable for researchers with a background in materials science and metallurgy, archaeometallurgy
-
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
-
to elucidate neuroimmune interaction in the joint with the possibility of undertaking PhD study. The appointee will have a minimum Bachelor's degree in biological science, has to have PIL certificate
-
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
-
or sensor arrays. Experience generating, processing and analysing large material property datasets including correlating between multiple techniques, or developing computational reconstruction techniques