Postdoc position at Rutgers

Stream: job postings

[Alex Kontorovich]

While not explicitly slated for "formalization", Rutgers has some postdoctoral positions https://www.mathjobs.org/jobs/list/23929 and a sizable Lean/Mathlib group. Please contact me directly if you're applying.

[Alex Kontorovich]

The Rutgers postdoctoral application is posted here: https://www.mathjobs.org/jobs/list/27217 with a Dec 1st deadline. If someone working on formalization is applying, please DM me.