711 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
- Arts and Literature
- Science
- Humanities
- Psychology
- Physics
- Law
- Linguistics
- Education
- Philosophy
- Earth Sciences
- Environment
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
be used to demonstrate the ability to detect both gradual degradation and faults in the machine. Training & Skills You will benefit from a taught programme, giving you a broad understanding of the
-
Distributed, robust and adaptive model predictive control (MPC) School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr P Trodden Application Deadline: Applications
-
Engineering PhD Research Project Self Funded Prof Hassan Ghadbeigi, Dr Rob Ward Application Deadline: Applications accepted all year round Details Metal cutting operations are used to generate parts to a
-
scheduled team meetings. Liaise between individual students /groups of students and programme directors. Undertake module evaluation, including facilitating student feedback, reflecting on own teaching design
-
Fault Detection and Diagnosis of Industrial Machinery School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr Hua-Liang Wei Application Deadline: Applications accepted
-
Control of Partial Differential Equations School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr Anton Selivanov Application Deadline: Applications accepted all year
-
at events e.g. graduation, VIP and royal visits. Undertake regular reviews of incident procedures to ensure they are fit for purpose and accurately reflect the duties undertaken by the CS&S team
-
Digital Humanities Institute (DHI) Established in 1994, the DHI’s mission is to support the innovative use of technology and computation within arts, humanities and heritage research as both a method of
-
early recycling from macropinosomes and phagosomes to maintain surface phagocytic receptors. Proceedings of the National Academy of Sciences, USA. 2016 Oct 4;113(40):E5906-E5915 https://www.pnas.org/doi
-
Testing and Optimsation of Medical Examination and Surgical Gloves School of Mechanical, Aerospace and Civil Engineering PhD Research Project Self Funded Prof R Lewis, Prof M Carre Application