680 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
- Education
- Humanities
- Linguistics
- Physics
- Law
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
Sh.24.3 PhD in Sound Analysis for Predicting Category 1 Ambulance Calls School of Computer Science PhD Research Project Competition Funded UK Students Dr Ning Ma, Prof Jon Barker Application
-
past experience doesn't match perfectly with this role's criteria, your contribution is valuable, and we encourage you to apply. Please ensure that you reference the application criteria in
-
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
-
Artificial intelligence and machine learning methods for model discovery in the social sciences School of Electrical and Electronic Engineering PhD Research Project Self Funded Prof Robin Purshouse
-
along the Booster Neutrino Beamline at Fermilab, USA. Each detector in the SBN programme utilises the liquid argon time projection chamber (LArTPC) technology. The main goal of the SBN programme is to
-
Interplay between Algorithms and Combinatorics School of Computer Science PhD Research Project Directly Funded Students Worldwide Prof Parinya Chalermsook Application Deadline: 31 July 2025 Details
-
Overview An exciting opportunity exists within the IDEA (Intelligent Design of Engineering Alloys) group at the University of Sheffield. The Research Associate employed through this position will
-
directly with Professor Majella Kilkey on a programme of work around Borders and Care, exploring the topic of care and its intersection with migration, borders and bordering, including a focus on the care
-
for a researcher with a strong background in qualitative methodologies and implementation science and the ability to work independently and within a team, to collect data, analyse and report data
-
, computer science, neuroscience) to tackle this novel and exciting opportunity. Training will be provided in specific analysis techniques and the successful applicant will acquire advanced computational and