Johns Hopkins University, Mathematics

[AFOSR] Homotopy type theory, Postdoctoral Fellow (offers accepted, deadline 2021/01/15 11:59PM)
[MURI] Higher category theory or homotopy type theory, Postdoctoral Fellow

(2 positions listed)