1 algorithm-"EPFL" "INSAIT The Institute for Computer Science" Postdoctoral positions at KU LEUVEN in Belgium

PostDoc in Combinatorial Optimization (Proof Logging / Explanations)

KU LEUVEN | Belgium | 3 months ago

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