913 proof-checking-postdoc-computer-science-logic positions at University of Sheffield
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Zero-Knowledge for Quantum Proofs: Quantum Computation and Cryptographic Primitives (S3.5-COM-Abdolmaleki) School of Computer Science PhD Research Project Competition Funded Students Worldwide Dr
-
Computational Complexity Theory School of Computer Science PhD Research Project Directly Funded Students Worldwide Prof Or Meir, Dr Swagato Sanyal Application Deadline: 31 January 2026 Details
-
Mitigating Healthcare Misinformation: Fact-Checking Spoken Medical Claims Using Textual Evidence (S3.5-COM-Zhang) School of Computer Science PhD Research Project Competition Funded Students
-
Retrieval-Augmented, Multi-Modal, and Explainable LLM for Fact-Checking School of Computer Science PhD Research Project Directly Funded Students Worldwide Dr Delvin Ce Zhang Application Deadline: 30
-
Neuro-Symbolic AI for Trustworthy Clinical Decision-Making: Bridging Linguistic Fluency and Logical Reasoning in Large Language Models (S3.5-COM- Valentino) School of Computer Science PhD Research
-
Neuro-Symbolic AI for Trustworthy Clinical-Decision Making: Bridging Linguistic Fluency and Logical Reasoning in Large Language Models (S3.5-COM- Valentino) School of Computer Science PhD Research
-
BBSRC Yorkshire Bioscience DLA Programme: Engineering Stomata: How Shape Informs Function School of Biosciences PhD Research Project Competition Funded Students Worldwide Prof Andrew Fleming, Prof
-
ACCE+ DLA Programme: Engineering underground ecosystems for sustainable legume production School of Biosciences PhD Research Project Competition Funded Students Worldwide Dr Ellie Harrison, Prof
-
BBSRC Yorkshire Bioscience DLA Programme: Deciphering proton shuttling on the surface of biological membranes toward proton translocating channels School of Mathematical and Physical Sciences PhD
-
Overview As an Engineering Technician, you will be an integral member of our existing technical support team. Reporting to the Technical Manager-Workshops, you will support the School's teaching and