Emplois pour smt dans Louvain

OverviewKU Leuven seeks to fill a postdoctoral position in combinatorial search and optimization (SAT / CP / SMT / MIP / ...). The selected candidate will join Bart Bogaerts' research group on Knowledge Representation and Combinatorial Optimization, part of the Declarative Languages and AI (DTAI) section of the Department of Computer...

KU Leuven seeks a postdoctoral researcher in combinatorial search and optimization (SAT/CP/SMT/MIP). Join Bart Bogaerts' group in the DTAI section of the Department of Computer Science to develop methods for guaranteed problem solving with proofs and verifiable auditability.The role emphasizes research excellence, English proficiency, and a strong background...