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.