677 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
-
Why are rhizobial symbiosis genes mobile? School of Biosciences PhD Research Project Self Funded Dr Ellie Harrison Application Deadline: Applications accepted all year round Details Rhizobia are nitrogen fixing symbionts of legumes. They are defined by their ability to establish intracellular...
-
Artificial intelligence and machine learning methods for model discovery in the social sciences
-
Developing Sustainable Plant Based Meat Analogues School of Chemical, Materials and Biological Engineering PhD Research Project Directly Funded UK Students Mr Luc Dewulf, Prof Agba Salman, Prof
-
EPSRC iCASE PhD studentship with SLB - Computational modelling of advanced geothermal systems
-
understating of the fundamental process of organellar replication, insights gained from this work will aid downstream translational projects of chloroplast engineering to develop crops with better traits
-
Photoevaporation of discs around binary stars, by binary stars.
-
New anticancer therapies based on transition metal complexes
-
, backgrounds, and beliefs of all. We foster a culture where everyone feels they belong and is respected. Even if your past experience doesn't match perfectly with this role's criteria, your contribution is
-
, backgrounds, and beliefs of all. We foster a culture where everyone feels they belong and is respected. Even if your past experience doesn't match perfectly with this role's criteria, your contribution is
-
Autonomous Scalable Knowledge Extraction and Decision Making for Complex Systems and Dynamic Environments School of Electrical and Electronic Engineering PhD Research Project Self Funded Prof