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
Enter an email to receive alerts for algorithm-sensor-"CNR" positions