711 proof-checking-postdoc-computer-science-logic positions at University of Sheffield
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Engineering
- Medical Sciences
- Biology
- Materials Science
- Economics
- Chemistry
- Mathematics
- Business
- Electrical Engineering
- Arts and Literature
- Science
- Humanities
- Psychology
- Physics
- Law
- Linguistics
- Education
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
Overview IT Services at the University of Sheffield provide a full range of complex IT and technology-enabled services that support education, research, workplace, corporate services and
-
Next generation CCS technology for combined cycle gas turbine system School of Mechanical, Aerospace and Civil Engineering PhD Research Project Self Funded Prof Mohamed Pourkashanian, Prof Lin Ma
-
Modelling gas turbine based power generation system incorporating CCS technology School of Mechanical, Aerospace and Civil Engineering PhD Research Project Self Funded Prof Mohamed Pourkashanian
-
Development of new materials for additively manufactured turbomachinery components operating in oxygen-rich environments School of Electrical and Electronic Engineering PhD Research Project Directly
-
The Centre for Doctoral Training in Machining, Assembly and Digital Engineering for Manufacturing (MADE4Manufacturing CDT) is a collaboration between the Faculty of Engineering, Advanced
-
Quantum sensing with integrated microelectronics School of Electrical and Electronic Engineering PhD Research Project Directly Funded UK Students Dr Joe Smith Application Deadline: 01 July 2025
-
The design and testing of sounding rockets for hypersonic research School of Electrical and Electronic Engineering PhD Research Project Directly Funded UK Students Dr Alistair John Application
-
Neutron total scattering (Pair Distribution Function analysis), as well as scanning and transmission electron microscopy (SEM & TEM). Main duties and responsibilities Undertake the programme of work and
-
Improving Deep Reinforcement Learning through Interactive Human Feedback
-
/interview) Experience of using computer-aided engineering including PCB design, schematic capture, embedded programming and circuit simulation (assessed at application/interview) Evidence of working