| We invite applications for a postdoctoral position in the Department of Mathematical and Statistical Sciences at the University of Alberta, starting in the 2025-2026 academic year. This position is part of a collaboration involving researchers from Canada, the Netherlands, and Japan, which focuses on the formalization of arithmetic geometry and anabelian geometry, using the Lean4 proof assistant. The Successful candidate will be expected to work toward the formalization of research-level mathematics in these areas, as relevant toward the overall project. This position will be supervised by Adam Topaz (topaz@ualberta.ca) at the University of Alberta, but will also involve close collaboration with the other members of this international project.
This is a two-year position which is expected to start in July 2025. There is a possibility of extension for this position beyond two years, subject to the candidate's performance and the availability of funds. Teaching may also be part of this position, although this is not a requirement.
Candidates must hold a PhD at the time of appointment. They should have research experience in arithmetic geometry, and familiarity with topics related to anabelian geometry, including \'etale and tempered fundamental groups, \'etale and Galois cohomology, ramification theory, class field theory, etc. As the formalization of research-level mathematics using Lean4 is expected in this position, candidates who do not have significant experience with formalization using Lean4 are expected to either gain such experience before the time of appointment or to spend the first few months of the position doing so intensively.
The review of applications will start on Nov. 1st, 2024, and will last until the position is filled. Any questions related to this position should be sent to Adam Topaz (topaz@ualberta.ca).
Applicants should submit the following information:
- A cover letter, indicating the candidate's suitability for this
position based on the criteria mentioned above.
- A CV, including a publication list.
- A research statement.
- Three references commenting on the candidate's research ability and potential. The University of Alberta is committed to an equitable, diverse, and inclusive workforce. We welcome applications from all qualified persons. We encourage women; First Nations, Métis and Inuit persons; members of visible minority groups; persons with disabilities; persons of any sexual orientation or gender identity and expression; and all those who may contribute to the further diversification of ideas and the University to apply. |
)