26 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Cambridge
Sort by
Refine Your Search
-
at the Department of Chemistry at the University of Cambridge (https://www.ch.cam.ac.uk/group/michaelides ). The projects will involve the development and application of approaches for treating complex intermolecular
-
University Department of Psychiatry, clinical institutions such as Cambridgeshire and Peterborough NHS Foundation Trust, and with a secondment to industry (Akrivia Health) to advance science and develop common
-
Fixed-term: The funds for this post are available for 9 months. Applications are invited for a Research Assistant (RA) to join the Prorok Lab in the Department of Computer Science and Technology, at
-
Fixed-term: The funds for this post are available for 12 months. Applications are invited for a Research Assistant (RA) to join the Prorok Lab in the Department of Computer Science and Technology
-
. Applicants must also have a strong track record of publications in computational materials science, excellent communication skills, the ability to work collaboratively in a team of scientists with different
-
-generation AI hardware (ASIC) accelerators. The UK's Advanced Research Invention Agency (ARIA) is supporting an ambitious programme of work that aims to reduce the the cost of AI by more than 1000x: https
-
development. The ideal candidate will have a PhD in a relevant biological subject, together with experience in molecular biology, cell biology and immunology. Familiarity with flow cytometry, vascular biology
-
, one of the world's most vibrant centres of biomedical research, which includes the University of Cambridge's Clinical School, two major hospitals, the MRC Laboratory of Molecular Biology, and the
-
techniques. Analyse experimental data using statistical tools and computational methods. Collaboration & Mentorship: Collaborate with interdisciplinary teams of researchers and students. Mentor graduate and
-
with SATT Conectus and an industrial partner aimed at developing a novel iso-selective hydroformylation of propylene using palladium catalysis. This project builds on the proof-of-concept studies