-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化领域的几个博士后和博士职位。
-
ERC-Funded PhD and PostDoc职位在布鲁塞尔Vrije Universiteit Brussel可用,以加入验证日志革命,并使组合优化器提供100%的正确性保证。
-
在TU Wien算法与复杂性研究部门有一个博士后职位(大学助理)空缺。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化领域的博士后职位。
-
在由首席研究员Kuldeep S.Meel领导的“Provable Verified and Explanable Probabilistic Reasoning”项目中,提供了多个博士后研究职位。这些职位的部分支持来自于授予PI的数百万美元的NRF AI奖学金以及新加坡国防服务组织的额外资金。
-
芬兰赫尔辛基阿尔托大学计算机科学系提供的SAT、约束、搜索和应用方面的博士论文职位。2019年2月7日前申请。
-
芬兰赫尔辛基阿尔托大学计算机科学系提供的SAT、约束、搜索和应用方面的博士论文职位。2018年9月29日前申请。
-
KTH皇家理工学院的理论小组正在寻找一名SAT解决方面的博士后和一名博士生。
-
KTH皇家理工学院的理论小组邀请申请SAT解决方面的博士后职位。
-
由马蒂博士领导的约束推理和优化小组芬兰赫尔辛基大学的Jarvisalo正在寻找一个或更多有才华和积极性的博士后研究人员与我们合作。
-
朗斯(法国)的推理和约束算法小组(CRIL,CNRS UMR 8188)正在提供博士后职位。