608 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
- Humanities
- Business
- 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
-
. Specifically, the candidate will develop MR image acquisition methods and pulse sequences for both proton (1H) and hyperpolarised xenon (129Xe) pulmonary / cardiac MRI applications. These will include zero- and
-
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
-
Artificial intelligence and machine learning methods for model discovery in the social sciences School of Electrical and Electronic Engineering PhD Research Project Self Funded Prof Robin Purshouse
-
Simulating Composite Fracture by the Extended Finite Element Method School of Mechanical, Aerospace and Civil Engineering PhD Research Project Self Funded Dr J L Curiel Sosa Application Deadline
-
). 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
-
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
-
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
-
. 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
-
optimisation method is gradient-based, ensuring a highly efficient design process suitable for Additive Manufacturing within a parametric and interactive design environment. In this PhD you will apply