【2019博士生国际招生面试交流会】阿自由招博(二)

微信图片_20191023172336.jpg

来自阿姆斯特丹自由大学数学系的Sander Dahmen教授和Jasmin Blanchette,J.C教授(j.c.blanchette@vu.nl)正在寻找以下领域的博士候选人:

  • 数论的形式验证

  • 数论

同时,他们也在寻找一位可以进行Formalizing Number Theory Using a Proof Assistant项目的候选人。在学术界和工业界,Poof Assistant(也称为交互定理验证验证器)越来越多地用于验证硬件、软件和协议的正确性。

这个项目的目标是与数论相结合,用于证明有关研究数学的定理并在此过程中建立数据库与验证工具的联系。这项工作将使用Lean Proof Assistant (https://github.com/leanprover/lean) 进行。

我们鼓励候选人申请CSC奖学金。

1571904468452983.jpg

如果你对这个项目感兴趣,欢迎直接发邮件至s.hasanefendic@vu.nl或csc@vu.nl与Sandra Hasanefendic  联系,或通过2019博士生国际招生面试交流会预约面试。Sandra将在北京和上海与您见面!

top2019.jpg

本次交流会对参会观众免费开放。参会观众需提前网上注册才能入场咨询交流;本次交流会不接受现场注册。注册地址:https://www.phdchina.org/phd/english/visitor/s_registration.php