Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- ;
- Medical Research Council
- University of Glasgow
- University of Nottingham
- Durham University
- KINGS COLLEGE LONDON
- King's College London
- University of Birmingham
- University of Sheffield
- Heriot Watt University
- Nottingham Trent University
- UNIVERSITY OF VIENNA
- University of Newcastle
- AALTO UNIVERSITY
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- University of Cambridge
- University of Oxford
- ; The University of Edinburgh
- ; University of Bristol
- ; University of Cambridge
- Cardiff University
- Heriot-Watt University;
- Northumbria University;
- The University of Edinburgh
- University of Leicester
- University of Nottingham;
- University of Reading
- University of Warwick;
- University of York;
- 19 more »
- « less
-
Field
-
PhD Studentship in Physiology and Pharmacology Project title: Visualising Platelet Biogenesis: Intravital Imaging of Megakaryocyte Signalling in Real Time (UK fees only) Supervisors: Dr Alex Bye
-
to start later for excellent candidates. The closing date is the 30th September 2027 Research topics include: Designing next-generation formal reasoning mechanisms by combining AI with symbolic methods
-
: Expertise in and knowledge of satellite Earth Observation data sources and image processing methods, which could include as applied to optical, thermal or radar data. Demonstrable experience developing
-
mixed-methods approach, including quantitative and qualitative data collection, fidelity assessment, and economic modelling. The Research Fellow will work closely with project partners (i.e. Bolton City
-
methods, software engineering, and artificial intelligence whilst within the role. Skills, Experience & Qualification needed (these can be taken from the person specification) You will have a PhD in formal
-
investigate new joining approaches for the battery back structure, look to incorporate structural rigidity into the module assembly and achieve a method for disassembly between cell and module. The PhD is
-
methods such as light-sheet microscopy. With these tools, we can not only visualize mouse development live, but are able to perturb and manipulate the embryo in real-time, and quantitatively measure
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
effectively (written/oral) Supervision: experience of PhD student supervision How to Apply Formal applications should consist of a single PDF including a motivation letter, CV, publication list, and names of 3
-
for constructing correctness proofs, yet the standard symbolic methods face significant limitations in both expressivity and scalability. This project proposes novel techniques for constructing formal proofs