Postdoctoral Research Associate in Mutations and Geometric Models (Mathematics) Lancaster University 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 University of Vienna is advertising a University assistant predoctoral position in the Faculty of Mathematics for a research project with Prof. Anton Mellit . The position is centered on geometry and topology of moduli spaces and their connections with representation theory , algebraic combinatorics , and knot invariants . The successful candidate will join an international and interdisciplinary research environment, contribute to ongoing research, participate in teaching and administration,...

Research Fellow in Mathematics at the University of Melbourne, School of Mathematics and Statistics, Faculty of Science. This is a full-time, fixed-term (2 years) ARC-funded research role focused on the Langlands program, representation theory, and algebraic geometry. The successful candidate will conduct internationally competitive research, publish high-quality journal articles, present at seminars and conferences, collaborate with Chief Investigators, and contribute to supervision and mentori...

Okinawa Institute of Science and Technology Graduate University (OIST) is inviting applications for a Postdoctoral Scholar or Staff Scientist in the Algebraic Combinatorics and Fundamental Physics Unit , led by Matteo Parisi , at OIST in Okinawa, Japan . The unit works at the intersection of mathematics and theoretical physics , with research themes including algebraic combinatorics , algebraic geometry , nonlinear algebra , discrete geometry , total positivity , cluster algebras , amplituhedra ...

The Morningside Center of Mathematics (MCM) at the Chinese Academy of Sciences is inviting applications for several postdoctoral positions in pure mathematics starting in 2027. These positions are for two years, with the possibility of a one-year extension after successful evaluation; additional extensions may be offered in exceptional cases. The post is focused on research in pure mathematics, and collaboration with faculty members of MCM is encouraged. Eligibility: A Ph.D. in pure mathematics ...