Sort by
Refine Your Search
-
Program
-
Employer
- University of Nottingham
- ;
- AALTO UNIVERSITY
- Durham University
- Heriot Watt University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- University of Birmingham
- ; University of Cambridge
- Heriot-Watt University;
- KINGS COLLEGE LONDON
- University of Cambridge
- University of Nottingham;
- University of Oxford
- 3 more »
- « less
-
Field
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
-
. Traditional methods for coating and stabilizing LFP cathodes often face limitations in durability and electrochemical efficiency. This research aims to overcome these challenges by applying innovative coating
-
institutions and/or to co-supervise a PhD student. A secondary affiliation to EPFL or UoE may be offered to candidates with the appropriate profile. Appointment is initially for 1 year, and renewable for up to 3
-
systems, to promote the welfare of young people in places where they spend their time. In September 2025 the programme will be formally established as an interdisciplinary research centre - the Global