703 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
- Psychology
- Science
- Humanities
- Arts and Literature
- Physics
- Law
- Linguistics
- Education
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
Smart Computer Models for Nuclear Reactor Design School of Mechanical, Aerospace and Civil Engineering PhD Research Project Self Funded Prof S He Application Deadline: Applications accepted all year
-
Adopter programmes, where appropriate. We are looking for an enthusiastic, motivated graduate in (health) Data Science, Computer Science or related field who is interested in the deployment, user acceptance
-
and other highly technical problems. Collaborate with colleagues from multiple teams to plan workload and resources to fit project timescales. Research into novel technology to advance knowledge
-
global castings industry. The AMRC Castings Group is a leader in advancing casting technologies and techniques. Our team provides advanced casting expertise, including computer process modelling, design
-
test a variable stiffness catheter. Conduct in-vivo animal trials of the prototype. Do market discovery of the technology by actively participating in the Commercialization Journey programme offered by
-
grant sponsored by the UK’s Engineering and Physical Sciences Research Council to develop a theory for novel bio-inspired micromachine sensors to measure acoustical quantities that have not been measured
-
order to research the performance of FGM. This research will benefit from excellent computing facilities, expertise in computer-aided engineering (CA2M lab), the available experimental facilities
-
. Johnson Matthey, a FTSE 250 organisation, is a global leader in sustainable technologies specialising in catalysis, precious metal products, chemicals and process technology. With operations in over 30
-
Overview This post is funded by the Quantum Computing Hub (QCI3) supported by the Engineering and Physical Sciences Research Council (EPSRC). The QCi3 Hub is part of Phase III of the UK’s Quantum
-
Using Brain Computer Interface to Improve Cognitive Performance School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr Mahnaz Arvaneh Application Deadline: Applications