Logic List Mailing Archive

CfA: ERC-Funded PostDoc PostDoc position in certifying algorithms (proof logging) for combinatorial optimization, Leuven (Belgium), deadline: 06 Feb

Dear colleagues,

There are some open positions in my group. I would be very grateful if you could help me distribute this call to any potential candidate.

---

I'm looking for talented PostDocs to join the CertiFOX team. You will work on an exciting project in which we will bring certifying algorithms (proof logging) from low-level languages (such as SAT, where this approach is notoriously succesful) to high-level modelling languages. The grand goal we will work towards is to get end-to-end guarantees of correctness of runs of combinatorial optimization engines, all the way from human-readable input specifications to the produced answers.

I'm looking in particular for people with experience either in combinatorial optimization algorithms, or in using proof assistants.
If this triggers your scientific curiosity, have a look at the project webpage: https://bartbogaerts.eu/projects/CertiFOX

Interested cadidates can apply at https://www.kuleuven.be/personeel/jobsite/jobs/60411819?hl=nl&lang=nl

Don't hesitate to send me an e-mail if you have any questions.



----

(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