2 processor-"https:"-"https:"-"https:"-"https:" PhD positions at University of East Anglia

PhD Studentship: Formalising the Local Langlands Correspondence for GL₂(F) in Lean

University of East Anglia | Norwich, England | United Kingdom | about 2 months ago

the sophisticated mathematical objects required to state the main theorem. This will involve developing a computer-verified library for the two sides of the correspondence: (1) the representation theory of GL₂(F

PhD Studentship: AI-Driven fault diagnosis for wind turbine generators

University of East Anglia | Norwich, England | United Kingdom | about 2 months ago

classification. The work will involve analytical studies, computer simulations, and finite element (FE) analysis, alongside experimental development and validation. Entry requirements The minimum entry requirement