Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Warwick;
- University of Birmingham
- University of Warwick
- The University of Manchester
- University of East Anglia
- Newcastle University
- University of Exeter
- Durham University
- University of Cambridge
- University of Cambridge;
- Manchester Metropolitan University;
- University of Oxford
- University of Surrey
- University of Sussex
- City St George's, University of London (Tooting);
- Northeastern University London
- The Rosalind Franklin Institute
- The University of Manchester;
- UCL
- University of East Anglia;
- University of Exeter;
- University of Nottingham
- University of Sheffield;
- 13 more »
- « less
-
Field
-
mathematics. You will undertake a single, ambitious research project: to begin the formalisation of the local Langlands correspondence for GL₂(F) in the Lean interactive theorem prover by leveraging AI agents
-
embedded decision-makers who interpret health risks through multiple, often competing, social identities. Traditional epidemic models offer mathematical precision but fail when confronted with this reality
-
quantum channel, post-quantum mathematics, and traditional classical security, into a single, unified encryption key. Crucially, the system is expected to work with the infrastructure organisations already
-
Science, Mathematics, Statistics, or a closely related field Solid grounding in machine learning and/or probability/statistics Programming proficiency in Python and familiarity with ML frameworks (PyTorch, JAX
-
awareness These funded PhD scholarships are suitable for students with a background in Computer Science, Mathematics, Engineering and Cognitive Science. Students with interests in machine learning, deep
-
This is a four-year (1+3 MRes/PhD) studentship funded through the Cambridge EPSRC Centre for Doctoral Training in Future Infrastructure and Built Environment: Unlocking Net Zero (FIBE3 CDT). Further details can be found at https://www.net-zero-fibe-cdt.eng.cam.ac.uk/ The project is funded in...
-
fraction of the data we collect. In this project, we will therefore seek to use advanced mathematical and machine learning approaches to identify hidden information within cardiac electrical signals that is
-
on solitary waves and on analysing their stability. We will also extend the study to related configurations, such as ferrofluid jets under vorticity and swirl. The mathematical and numerical techniques
-
sleep technology that assesses the brain activity at home and explore why some people benefit more than others using cutting edge mathematical modelling. These studentships are funded through GW4 BioMed3
-
, technology, engineering, mathematics and medicine (STEM). Applications will be accepted until 31 May 2024 but the position will be filled as soon as an appropriate candidate is found. Funding notes