674 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
- Humanities
- Linguistics
- Physics
- Law
- Education
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
. 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
-
complexes. Previous experience of coordination chemistry and the characterisation of photoactivated/luminescent compounds including emission spectroscopy and TCSPC are essential, experience in steady-state
-
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
-
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
-
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
-
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
-
Computational Spectroscopy/Hydrogen-tunneling at elevated temperatures in the gas-phase School of Mathematical and Physical Sciences PhD Research Project Self Funded Prof AJHM Meijer Application
-
Remote robotic welding guided by reliable, non-contact, emissivity-independent temperature imaging and machine vision
-
planning, student intake forecasting, tuition fee setting and new programme financial viability assessments. This involves collaborating with other professional services teams, analysing complex information
-
”. 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