leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: job postings

Topic: Postdoc positions at the University of Washington


Jarod Alper (Nov 26 2025 at 03:42):

The University of Washington has several openings for postdoc positions (called Assistant Acting Professors): https://www.mathjobs.org/jobs/list/27169

The positions are open for all areas of mathematics including formalization and Math AI.


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll