678 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
- Economics
- Materials Science
- Chemistry
- Mathematics
- Business
- Electrical Engineering
- Science
- Arts and Literature
- Psychology
- Humanities
- Linguistics
- Physics
- Law
- Education
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
AI-enabled digital technologies for the resilient operation of power systems
-
Computational Spectroscopy/Hydrogen-tunneling at elevated temperatures in the gas-phase
-
Early Executive Function Development and Individual Differences School of Psychology PhD Research Project Self Funded Dr E Blakey Application Deadline: Applications accepted all year round Details Executive functions are the set of high-level goal-directed thinking skills that develop rapidly...
-
Lifelong considerations in managing periodontal disease School of Clinical Dentistry PhD Research Project Self Funded Dr Vitor Neves Application Deadline: Applications accepted all year round Details Project details: Periodontal disease poses significant challenges to oral health and overall...
-
Searching for Sterile Neutrinos and other Beyond the Standard Model phenomena with SBND
-
hands-on experience with advanced laboratory and field techniques, as well as benefit from interdisciplinary collaboration with leading experts in plant-microbe interactions, molecular biology, and
-
Analysis of DNA repair in zebrafish School of Biosciences PhD Research Project Self Funded Dr Freek Van Eeden, Prof Sherif El-Khamisy Application Deadline: Applications accepted all year round Details The repair of our DNA is of high importance for our long term health, improper repair is at...
-
EpiPlasticity: exploring the ecological and evolutionary significance of epigenetic defence plasticity
-
Using pharmacological agents to investigate the mechanisms of the neuronal vascular coupling
-
Mid-infrared spectroscopy of massive stars