704 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
- Science
- Psychology
- Humanities
- Arts and Literature
- Linguistics
- Physics
- Law
- Philosophy
- Education
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
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
-
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
-
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
-
Programme and Masters in Physician Associate Studies Programme, both of which are informed by the General Medical Council (GMC). You will be required to work closely with the Patient as Educators team
-
novel technology and its application into industry by researching into problem areas to advance basic knowledge and evaluate new techniques to solve those problems. Project management including managing
-
”. This exciting opportunity involves leading the development of advanced data-driven mathematical and computational models to suppress turbulence in pipe flows, contributing to pressing engineering efforts toward
-
Cohomology of arithmetic lattices in GL(2) over the Hamiltonians School of Mathematical and Physical Sciences PhD Research Project Directly Funded Students Worldwide Dr Haluk Sengun Application
-
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