2 machine-tool Postdoctoral positions at KU LEUVEN

Postdoc in combinatorial search & Optimization (SAT / CP / SMT / MIP /....)

KU LEUVEN | Belgium | 3 months ago

developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal

Postdoctoral Researcher – Machine Learning

KU LEUVEN | Belgium | 3 months ago

14 Jul 2026 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Programming Computer science » Systems design Technology » Computer