博后职位—比利时KU鲁汶大学（QS 63）—组合优化算法

Xee

申请截止日期：2025.2.6

专业领域：计算机科学

鲁汶大学（荷兰文：Katholieke Universiteit Leuven）全称天主教鲁汶大学，简称 KU Leuven，位于比利时鲁汶市，欧洲综合大学之一 ，是欧洲研究型大学联盟、同一个欧洲大学联盟、科英布拉集团、Europaeum、欧洲大学协会等高校联盟成员。2025年全球QS排名63。

1、职位介绍

⭐️该小组隶属于鲁汶天主教大学计算机科学系的声明性语言和人工智能 (DTAI) 部门。我们特别想找一位能够加强最近启动的组合优化证明记录（也称为认证算法）研究线的人。我们提供全额资助的博士后职位，最初为 12 个月，但可以续签，预计持续两到三年。

⭐️组合优化领域涉及开发通用工具，这些工具采用声明性问题描述并自动计算其最佳解决方案。通常，用户使用高级、人类可理解的形式语言来指定他们的问题。该规范首先被转换成求解器可以理解并随后求解的低级规范。得益于求解技术的巨大进步，我们现在可以在实践中解决各种 NP 难（或更糟）问题。此外，这些工具在实际应用中的使用越来越多，包括高价值和影响生活的决策。

2、任务

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

阅读全文 [ 金币: 40 ] , 点击支付