701 proof-checking-postdoc-computer-science-logic positions at University of Sheffield
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Materials Science
- Economics
- Chemistry
- Mathematics
- Electrical Engineering
- Business
- Science
- Environment
- Psychology
- Humanities
- Arts and Literature
- Linguistics
- Physics
- Law
- Philosophy
- Education
- Earth Sciences
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
guidelines. Hosted in collaboration with UKAEA, the project will contribute to digital engineering capabilities for the UK’s fusion programme. The primary research questions for the project are; (1) How can a
-
of solid-fuel particles and this increasingly relies on engineering computer modelling. This project aims to develop a deeper understanding into the mechanisms of pulverised solid fuel ignition, and to
-
Bayesian system identification in nonlinear engineering dynamics School of Mechanical, Aerospace and Civil Engineering PhD Research Project Directly Funded Students Worldwide Prof Keith Worden
-
EPSRC iCASE PhD studentship with SLB - Computational modelling of advanced geothermal systems School of Mechanical, Aerospace and Civil Engineering PhD Research Project Directly Funded UK Students
-
Computational modelling of chemical interactions in soil School of Mathematical and Physical Sciences PhD Research Project Self Funded Dr Natalia Martsinovich Application Deadline: Applications
-
is a cutting-edge, transdisciplinary initiative. This innovative programme combines science, policy, and societal engagement to transform chemicals policy and management, enabling a safe, sustainable
-
Neuro-Symbolic Methods for Explanation-Based Reasoning with Large Language Models School of Computer Science PhD Research Project Directly Funded Students Worldwide Dr Marco Valentino, Prof Nikos
-
Overview We are seeking an independent and motivated postdoctoral Research Associate to work on a Cancer Research UK (CRUK)-funded project at the interface of stem cell biology and disease modelling
-
Computational Astrochemistry/Formation of Complex Organic Molecules in the ISM School of Mathematical and Physical Sciences PhD Research Project Self Funded Prof AJHM Meijer Application Deadline
-
Exciting Fully Funded PhD: Computational Modelling for High-Pressure, Low-Carbon Storage Technologies. Be a Key Player in Shaping the Future of Clean Energy Storage! School of Mechanical, Aerospace