Postdoc · KU Leuven
Postdoc in combinatorial search & Optimization (SAT / CP / SMT / MIP /....)
Official page- Type
- Postdoc
- Organisation
- KU Leuven
- Location
- Leuven, Belgium
- Deadline
- 30 October 2026
- Found
- 3 October 2026
About this listing
A postdoctoral position at KU Leuven, Declarative Languages and Artificial Intelligence (DTAI), Leuven (Arenberg), in Leuven, Belgium. Topic: Fully funded postdoc position in the heart of Europe. Full-time. Applications close on 30 October 2026, Belgian time.
Last checked 3 October 2026. Found via KU Leuven jobsite.