Formalising the Local Langlands Correspondence for GL₂(F) in Lean (BIRKBECKC_U27EMPSF)University of East AngliaResearch Park, Norwich NR4 7TJ, UKStudent / Phd JobsCloses: Jul 31, 2026
4 Year GTA - Systematic and AI-Assisted Solving of Polynomial Diophantine EquationsUniversity of LeicesterUniversity Rd, Leicester LE1 7RH, UKStudent / Phd Jobs
The development of young children’s understanding of multi-digit numbers (Ref: LN/JB-SF1/2026)Loughborough UniversityEpinal Way, Loughborough LE11 3TU, UKStudent / Phd Jobs