2 proof-checking-postdoc-computer-science-logic Fellowship positions at Brown University
Sort by
Refine Your Search
-
like to participate in the spring 2027 semester program “ Metric Algebraic Geometry: Going Global”. ICERM will match Semester Postdocs with faculty mentors for the duration of the spring semester. ICERM
-
like to participate in the fall 2026 semester program: “ Computations on K3 Surfaces and Related Varieties”. ICERM will match Semester Postdocs with faculty mentors for the duration of the fall semester
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions