Logic List Mailing Archive

CfA: Two PhD postitions + one postdoc at KU Leuven, Leuven (Belgium), Deadline: March 6

Dear colleagues,

There are two open PhD positions in my research group. One successful candidate will focus on proof logging, the other candidate on explanations (for combinatorial optimization).
More info can be found at https://www.kuleuven.be/personeel/jobsite/jobs/60425822

If you know of any excellent students who are searching for a PhD spot, don't hesitate to forward this.

Best,
Bart Bogaerts

P.s., there's also a postdoc position open still, with a deadline of February 6 https://www.kuleuven.be/personeel/jobsite/jobs/60411819




----

(I'm moving to KU Leuven. If you still have one of my VUB email addresses in your address book, it might make sense to replace it by bart.bogaerts@kuleuven.be<mailto:bart.bogaerts@kuleuven.be>)

Prof. Bart Bogaerts
Declarative Languages and Artificial Intelligence section
Department of Computer Science
KU Leuven
Celestijnenlaan 200A, room 01.14
B-3001 Heverlee

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php