溘娃

职位描述
格罗宁根大学伯努利数学、计算机科学和人工智能研究所基础计算小组的计算逻辑和语义学全额资助 4 年博士职位邀请申请。

我们正在寻找一位优秀的博士候选人，他有兴趣在数理逻辑、程序语义和（共）代数的接口方面进行研究。代数是应用范畴论的一个分支，它提供了一个框架，用于对许多不同类型的系统进行统一推理，包括自动机、转换系统和马尔可夫决策过程。余代数和模态逻辑之间存在着一种美妙的关系，它反映了代数和方程逻辑之间的关系，而余代数模态逻辑的框架使我们能够在余代数的抽象层次上研究模态逻辑。潜在的研究课题包括关于程序正确性的组合推理的余代数动态逻辑，以及强化学习的（共）代数基础。然而，

博士候选人将由 prof.dr 监督。Helle Hvid Hansen < hhhansen@rug.nl >。鼓励有兴趣的候选人与她联系，讨论他们的兴趣和潜在的研究课题。

作为博士候选人，您将进行原创性研究，完成博士论文，在任命后的 4 年内完成并在格罗宁根大学进行辩护。你应该在研讨会和国际会议上展示你的研究成果，并在会议记录和期刊上发表。您应该为教学做出一点贡献（最多 10%），例如作为助教或监督学生项目。

资格
成功的候选人应具备：

● 逻辑、计算机科学、数学或其他相关领域的硕士学位或同等学历（例如，荣誉学位）
● 优秀的学术成绩，以及对基础研究的浓厚兴趣
● 强大的逻辑或理论计算机科学背景是必不可少的，但不需要先验的代数知识；只有学习的动力
● 良好的英语沟通能力（书面和口语）。