隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。

这位博士生将在由雅各布·诺德斯特罗姆（Jakob Nordstrom）（www.jakobnordstrom.se）领导的数学洞察优化算法（MIAO）小组工作，该小组在哥本哈根大学和厄勒海峡大桥两侧的隆德大学都很活跃。我们与哥本哈根基础算法研究中心（BARC）有着密切的联系，是全球领先的算法和复杂性理论环境的一部分，其中还包括哥本哈根IT大学和丹麦技术大学（DTU）。我们的目标是吸引来自世界各地的顶尖人才，营造一个雄心勃勃、富有创意、协作和有趣的环境。利用数学的力量，我们努力在算法和复杂性理论方面取得根本性突破。虽然我们专注于基础研究，但我们确实有着令人惊讶的算法发现的跟踪记录，这些发现导致了重大的工业应用。

MIAO研究小组的独特之处在于，我们正在进行高效计算的数学基础和现实问题的最先进实用算法方面的前沿研究。这创造了一个非常特殊的环境，在这个环境中，我们不仅对不同的理论和应用主题进行深入研究，而且不同的研究领域相互交叉，经常会出现意想不到的令人兴奋的协同效应。该小组的许多活动围绕强大的算法范例展开，例如布尔可满足性（SAT）求解、Groebner基计算、整数线性规划和约束规划。这就引出了计算复杂性理论中的经典问题——尽管经常会出现新的、引人入胜的转折——但也涉及到设计聪明算法的工作，这些算法可以在实践中利用此类范式的威力。

我们最新的研究方向是如何验证最先进的组合优化算法的正确性。这类算法通常非常复杂，即使是成熟的商业求解器也会产生错误的结果。我们设计的新一代认证组合求解器不仅输出了一个答案，而且还输出了机器可验证的数学证明，证明这个答案是正确的，我们的工作已经获得了几个国际奖项，但还有许多更令人兴奋的问题尚待解决！

通过这次电话会议，我们主要寻找一名数学天赋高、编程能力强的博士生，继续我们在认证算法方面的开创性工作。然而，对于团队中的博士生所从事的研究有一定的灵活性，欢迎所有候选人，无论是那些想深入理论或实践的人，还是那些受到弥合两者之间差距挑战的启发的人。

这是一个四年全职工作的职位，但博士职位通常（尽管不一定）包括20%的教学，在这种情况下，他们会再延长一年。开始日期可以协商，但最好是在2023年秋季或2024年初。研究小组中的所有职位都是资金充足的雇佣职位（包括旅费），薪水具有国际竞争力。

申请截止日期为9月25日。请参阅完整的公告提供了有关如何申请的更多信息和说明。欢迎非正式咨询，可发送至jakob.nordstrom@cs.lth.se.

Jakob Nordström教授哥本哈根大学和隆德大学电话：+46 70 742 21 98http://www.jakobnordstrom.se