Sort by
Refine Your Search
-
computer science. Interactive theorem provers. Category theory (for computer science). Fluency in English is required. Application deadline: 18 June 2025 at 23:59 hours local Danish time Please see the full call
Searches related to category theory
Enter an email to receive alerts for category-theory positions