Postdoc position @ KU Leuven

8 views
Skip to first unread message

Bart Bogaerts

unread,
3:32 AM (10 hours ago) 3:32 AM
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