Postdoc position @ KU Leuven

9 views
Skip to first unread message

Bart Bogaerts

unread,
Oct 6, 2025, 3:32:14 AMOct 6
to SMT-announce
Dear colleagues, 

There's a new postdoc vacancy in my team. Looking for people with strong expertise in some field of combinatorial search/optimization (SAT/CP/SMT/MIP/...) interested in proofs (certifying algorithms) or explanations. I would be very grateful if you could help me distribute this call to any potential candidate.

More info: 

Thanks,
Bart 

Reply all
Reply to author
Forward
0 new messages