Sort by
Refine Your Search
-
algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...) is required. Fully-funded postdoc position, with expected duration
Searches related to set theory
Enter an email to receive alerts for set-theory positions