Sort by
Refine Your Search
-
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
-
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
-
suitable analogues of Morley rank, U-rank and dp-rank in positive theories, and will explore new applications of the results obtained. Students should have some knowledge of mathematical logic and preferably
-
Bachelor's degree in Economics, Sociology, Psychology, Public Health, Medicine, Biology, Food Sciences, Statistics, or Mathematics. Mode of Study: Full time Start Date:1 November 2026 Funding Information
-
been taken forward on this occasion. Entry requirements The minimum entry requirement is 2:1 in meteorology, oceanography, mathematics, physics, geography or similar. Start date: 1 October 2026 Funding
-
measurements. Person Specification We seek an enthusiastic candidate with strong scientific interests and self-motivation. They will have a degree in physics, mathematics, oceanography, meteorology, or a related