1 algorithm-development-"Prof.-Dr" Postdoctoral positions at KU LEUVEN in Belgium

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for algorithm-development-"Prof.-Dr" positions

PostDoc in Combinatorial Optimization (Proof Logging / Explanations)

KU LEUVEN | Belgium | about 23 hours ago

algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). Selection process For more information please contact Prof. dr. Bart

Enter an email to receive alerts for algorithm-development-"Prof.-Dr" positions