Postdoc in combinatorial search & Optimization (SAT / CP / SMT / MIP /....)
KU Leuven
We are looking for an excellent PhD Researchers to strengthen Bart Bogaerts' research group on Knowledge Representation and Combinatorial Optimization, which is part of the Declarative Languages and Artificial Intelligence (DTAI) section of the department of Computer Science of KU Leuven.
View position