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

University of East Anglia

University of East Anglia

University of East Anglia

University of Surrey

Newcastle University

University of Sheffield

University of Sheffield

University of Reading

University of Southampton

University of Leeds

Edinburgh Napier University

University of York

Cardiff University

University of Birmingham

University of Salford

University of Salford

Post My Job

University of Oxford

University of Salford

University of Salford