Sort by
Refine Your Search
-
the grant entitled “Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory” from the Multidisciplinary University Research Initiative (MURI) program of the Air Force Office of
Enter an email to receive alerts for computer-programmer-"Prof" positions