708 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
- Economics
- Materials Science
- Chemistry
- Mathematics
- Business
- Electrical Engineering
- Science
- Arts and Literature
- Humanities
- Psychology
- Linguistics
- Physics
- Law
- Education
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
Harnessing the Power of Time Delays in Dynamical Systems School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr Anton Selivanov Application Deadline: Applications
-
Early-stage failure prediction in fusion materials using machine learning
-
Avalanche photodiodes for detecting weak infrared optical signals School of Electrical and Electronic Engineering PhD Research Project Self Funded Prof Jo Shien Ng Application Deadline: Applications
-
Development of a Wearable Sensor System and AI-Driven Analysis for Objective Bruxism Assessment School of Clinical Dentistry PhD Research Project Self Funded Dr Thomas Paterson, Dr Ning Ma Application Deadline: Applications accepted all year round Details Project details Problem: Bruxism, the...
-
Early-stage failure prediction in fusion materials using machine learning CDT in Developing National Capabilities for Materials 4.0 PhD Research Project Directly Funded UK Students Prof Christopher Race Application Deadline: Applications accepted all year round Details In fusion reactors,...
-
the aim of investigating the origin of magnetism in white dwarfs. You will also form part of the world leading research group on high time resolution science at Sheffield, with access to ULTRASPEC
-
Identifying and implementing optimum information methods to promote understanding and engagement amongst populations regarding fusion energy and the engineering activities of a new fusion powerplant
-
Autonomous Industrial Perception, Monitoring, and Optimisation Using an Agentic Framework with Large Language Models
-
Alternative Aviation Fuels Combustion Experiments School of Mechanical, Aerospace and Civil Engineering PhD Research Project Self Funded Prof Mohamed Pourkashanian, Dr Kevin Hughes Application
-
Atomistic Simulations of Functional Ceramics for Power Electronic Applications