9 proof-checking-postdoc-computer-science-logic Postgraduate positions at University of Cambridge
Sort by
Refine Your Search
-
Category
-
Field
-
Co-Supervised by Dr Katarzyna Warburton. The programme is expected to commence in October 2025. This project is not yet funded but the expectation is that it will be funded by the Centre for Climate
-
will include both exciting proof of concept studies and wider exploratory studies related to sustainability applications. The advancements you make will have a major impact on UK's pursuit
-
The Medical Research Council Mitochondrial Biology Unit (MRC MBU), University of Cambridge wishes to appoint a Research Assistant to join Dr Alex Whitworth and the Mitochondrial Neurodegeneration
-
Co-Supervised by Dr Katarzyna Warburton. The programme is expected to commence in October 2025. This project is not yet funded but the expectation is that it will be funded by the Centre for Climate
-
infrastructure systems. Applicants should have (or expect to obtain by the start date) at least a good 2.1 degree in Engineering or Computer Science. EPSRC DLA studentships are fully-funded (fees and maintenance
-
Jerome Neufeld and the programme is expected to commence in October 2025. The studentship will be for 4 years and the fees and maintenance are fully funded by the Centre for Climate Repair
-
project will combine computational and experimental approaches to better characterise these emissions and develop an understanding of their evolution. The selected candidate will develop and apply a
-
, political science, science and technology studies, HCI, sociology, or related fields). Applicants must have demonstrable specialisation in AI ethics. All applicants should be able to demonstrate strong
-
(an engineering consulting company based in Norway with a UK office), and a number of other universities looking at the possibility of creating physical barriers to impede the flow of deep saline, warm water