580 software-formal-method-phd positions at University of Sheffield in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Materials Science
- Economics
- Chemistry
- Mathematics
- Psychology
- Electrical Engineering
- Arts and Literature
- Business
- Humanities
- Linguistics
- Science
- Philosophy
- Physics
- Earth Sciences
- Education
- Environment
- Social Sciences
- Sports and Recreation
- 12 more »
- « less
-
requirements, with mathematical restrictions, and restrictions from use in plants. Data manipulation, signal processing, and software development to integrate new theoretical tools to develop new sensing
-
cutters and methods (assessed at: Application & Interview) Experience in offline programming of CNC machinery and the use of programme verification software (assessed at: Application & Interview) Experience
-
3D Solar Flare simulations: a hybrid MHD-beam approach School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr Malcolm Druett Application Deadline: Applications accepted
-
. You will take an active role in analysing, categorising and documenting the collected data, developing of vulnerability/fragility curves using numerical methods, implementing exposure models, performing
-
). This PhD project will involve mixed-methods, the overall aim of which will be to better understand the societal barriers experienced by autistic adults. Certain questions will be most appropriately answered
-
interface with cyber and physical aspects of power systems such as the software-defined networking (SDN) in the microgrid control. Supervised by Prof. Xin Zhang (cyber-physical power systems) , the PhD
-
How do plants reduce leaf growth at low humidity School of Biosciences PhD Research Project Self Funded Dr Jim Rowe Application Deadline: Applications accepted all year round Details Short spells
-
this emerging research programme Applicants should be familiar with methods for estimating comparative effectiveness using RWD, e.g., NICE’s TSD 17 , NICE’s RWE framework . You will be encouraged to develop your
-
fluid. A main application of this technology is for the detection of wall defects and leaks in pressurised water pipes. If you have a degree in Mathematics, Physical Science, or Engineering and a PhD (or
-
. This project is in collaboration with Prof. Helen Bryant in the School of Medicine and Population Health. You will have a PhD (or equivalent qualification) in a relevant subject and be competent in expertise in