隆德大学计算机科学系邀请申请计算机科学基础终身助理教授职位，重点是逻辑和自动推理。

这位助理教授将在计算机科学系工作，该系的计算机科学基础研究由苏珊娜·德·雷泽德教授和雅各布·诺德斯特罗姆教授负责。雅各布·诺德斯特罗姆领导研究小组优化算法的数学透视也活跃在哥本哈根大学。这项研究具有独特的特点，它涵盖了从高效计算的理论、数学基础到现实问题的最新实用算法的广泛问题。这创造了一个非常特殊的环境，在这个环境中，研究项目不仅深入到不同的理论和应用主题，而且不同的研究领域相互交叉，经常会出现意想不到的令人兴奋的协同效应。

该职位专注于逻辑、自动推理和组合优化中基础问题的算法。这包括布尔可满足性（SAT）求解、约束规划、混合整数线性规划和/或可满足性模理论（SMT）求解中计算问题算法的设计和实现。除了算法构造之外，另一个有趣的主题是对自动推理算法的实际性能形成科学的理解，并在算法分析和计算复杂性理论中研究经验观测值与理论结果之间的关系。另一个相关领域涉及确保算法计算可证明正确结果的方法，这些方法可用于开发用于自动推理和组合优化的可信求解器。

申请截止日期为2024年1月26日。欢迎非正式咨询，可发送至jakob.nordstrom@cs.lth.se`.

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