Dr. Bart Bogaerts

I'm always looking for talented researchers. This page contains an overview of the current offerings, and other possibilities.

I'm currently looking for a PostDoc (funded by my ERC CoG CertiFOX) who wants to join the proof logging revolution, and ensure that the answers of combinatorial search and optimization engins are correct with 100% formal guarantees. Apply before 18/01/2024 at the official job site of the VUB.

Talented PostDocs in knowledge representatation, combinatorial search, or declarative problem solving are also warmly invited to apply for a personal grant with me as a host. For instance:

• A Marie Curie Postdoctoral Fellowship (the next call opens on April 9, 2024; the deadline is typically in August/September)

• A junior (0-3 years after PhD) or senior (3-6 years after PhD) FWO Postdoctoral Fellowship (the application deadline is typically the first of December)

These grants are excellent for beefing up your CV, and getting the opportunity to pursue your dreams for a couple of years with complete academic freedom. Of course, such grant applications can sometimes feel like a lottery. For this reason, there are several backup options: candidates who submit a good application but do not get funding can be eligible for a backup mandate of the FWO or an internal one from the VUB (typically for one year, to allow you to reapply and collect preliminary evidence for your project).

If you are interested in applying for such a grant with me as host, send me an e-mail so that we can discuss the details.

I'm currently looking for an enthousiastic PhD student (funded by my ERC CoG CertiFOX) who wants to join the proof logging revolution, and ensure that the answers of combinatorial search and optimization engins are correct with 100% formal guarantees. Apply before 18/01/2024 at the official job site of the VUB.

Talented students who obtained excellent grades in their Master's (top 5%) are also cordially invited to apply for an FWO fellowship for fundamental or strategic research (where my expertise is mostly on the fundamental side). The application deadline is always the first of March. As with the postdoctoral fellowships, excellent proposals that do not get funding can be eligible for a one year "backup mandate".

If you are interested in visiting my research group to learn more about our latest work or to start or consolidate a collaboration, don't hesitate to drop me a line.

All positions I offer are fully funded, either by means of a scholarship or a salary. Academic scholarships and salaries in Belgium are very competitive (probably among the best in Europe; a starting PhD student for instance receives approximately €2.500 net per month). Moreover, all postitions come with various benefits including reimbursement of public transport costs and hospitalisation insurance. Finally, my group has a significant travel budget available for attending conferences or for visiting other research groups.