PhD in Analysis at the University of Edinburgh University of Edinburgh in United Kingdom

PhD Studentship at the University of East Anglia (Norwich campus) in formal mathematics , number theory , representation theory , and computer-assisted proof . The project is titled “Formalising the Local Langlands Correspondence for GL₂(F) in Lean” and focuses on building a computer-verified framework in the Lean interactive theorem prover . The research aims to formalise the local Langlands correspondence for GL₂(F), including the representation theory of GL₂(F) over a non-Archimedean local fi...

The Department of Mathematical Sciences at the University of Bath is advertising an EPSRC-funded Postdoctoral Research Associate position in analysis and nonlinear partial differential equations . The successful candidate will work with Dr Matthew Schrecker on research connected to singularity formation and stability in self-gravitating fluids as part of the EPSRC grant Criticality in Newtonian Gravitational Collapse . The post sits within the Analysis Group at Bath, a research environment with ...

The Department of Mathematical Sciences at the University of Bath is inviting applications for an EPSRC-funded Postdoctoral Research Associate in analysis and nonlinear partial differential equations . The successful candidate will work with Dr Matthew Schrecker on research connected to singularity formation and stability in self-gravitating fluids as part of the EPSRC grant Criticality in Newtonian Gravitational Collapse . The role sits within the Analysis Group at Bath, a strong research envir...

The University of Bath is advertising a Postdoctoral Research Associate in Number Theory within the Department of Mathematical Sciences. The role is part of the EPSRC-funded programme grant Unifying Arithmetic Statistics and is led at Bath by Prof. Daniel Loughran , alongside project co-leads Prof. Alex Bartel (University of Glasgow), Prof. Rachel Newton (King’s College London), and Prof. Adam Morgan (University of Cambridge). This is a research-focused, fixed-term position for three years, with...

Research Associate opening in the Department of Mathematical Sciences at the University of Bath for a project on operator learning for gradient flows with applications in imaging. The role is associated with a Royal Society International Collaboration Award led by Dr Yury Korolev (University of Bath) and Dr Takashi Furuya (Doshisha University, Kyoto). The project focuses on theoretical analysis and numerical implementation of operator learning methods for gradient-flow-type equations driven by m...