我正在寻找有天赋的博士生和PostDocs加入CertiFOX项目。选定的候选人将参与一个激动人心的项目，在这个项目中，我们将把低级语言（例如SAT，这种方法非常成功）中的认证算法（验证日志）引入高级建模语言。我们将努力实现的宏伟目标是，为组合优化引擎的正确运行提供端到端的保证，从人类可读的输入规范到产生的答案。

如果这触发了你的科学好奇心，并且你是（或想成为）组合优化领域富有成效的研究人员，那么看看项目网页（在建）。

这些职位资金充足，薪水或奖学金极具竞争力。博士生的预期任职期限为4年，PostDocs的预计任职期限为1至3年。开始日期可以商议，但理想情况下，这将是在2024年夏天左右。

申请截止日期为2024年1月18日。PostDocs可以应用在这里和博士生在这里

我很高兴回答有关这些空缺的问题。

Bart Bogaerts公司布鲁塞尔Vrije大学电话：+32 2 629 37 06网址：http://www.bartbogaerts.eu