Sort by
Refine Your Search
-
optimization algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). We offer a fully-funded postdoc position, initially for 12
Searches related to category theory
Enter an email to receive alerts for category-theory positions