-
隆德大学计算机科学系邀请申请计算机科学基础终身助理教授职位,重点是逻辑和自动推理。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化领域的几个博士后和博士职位。
-
博士职位,开发约束满足(SAT)和约束优化(MaxSAT)问题的新技术,探索基于巴塞罗那和莱伊达(西班牙)可用新证明系统的新思路。该职位将尽快完成。申请人在申请时必须持有计算机科学、数学或物理(或相关领域)硕士学位。
-
林茨约翰内斯·开普勒大学工程与自然科学学院计算机科学系邀请申请阿明·比尔(Armin Biere)创办的形式模型与验证研究所(FMV)的永久全职职位。
-
Brussel Vrije大学提供ERC资助的博士和博士后职位,以加入验证测井革命,并使组合优化器提供100%的正确性保证。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
在TU Wien算法与复杂性研究部门有一个博士后职位(大学助理)空缺。
-
紧急事项:特伦托优化模数理论3年研究员职位。需要SMT | SAT | CP | MILP博士和专业知识
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学的几个博士后职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化的博士学位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化博士后职位。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
BLaSST是一个由法国研究机构ANR资助的项目。它包括位于南希的Inria的VeriDis团队、位于Lens的Artois大学的CRIL实验室、CLEARSY公司和比利时里奇大学的Montefiore学院。BLaSST被选为项目ANR-21-CE25-0010供资。
-
阿尔托大学计算机科学系要求申请计算机科学所有领域的终身助理教授职位。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化博士学位。
-
BLaSST是一个由法国研究机构ANR资助的项目。它包括位于南希的Inria的VeriDis团队、位于Lens的Artois大学的CRIL实验室、CLEARSY公司和比利时里奇大学的Montefiore学院。BLaSST被选为项目ANR-21-CE25-0010供资。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化领域的博士后职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和/或组合优化的博士学位。
-
申请这两个SAT相关博士职位的截止日期是月底(4月30日)。
-
申请这10个全职博士职位的截止日期是本月底(4月30日)。
-
我们现在正在寻求将您的专业知识添加到数据科学和人工智能系优化小组的讲师(数据科学和AI)角色中。
-
哥本哈根大学计算机科学系(DIKU)邀请申请计算复杂性理论终身助理教授职位。
-
申请这两个SAT相关博士职位的截止日期是月底(12月30日)。
-
申请这20个全职博士职位的截止日期是本月底(12月30日)。
-
阿尔托大学计算机科学系要求申请计算机科学所有领域的终身助理教授职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化领域的博士后职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请理论计算机科学和组合优化的博士学位。
-
林茨约翰内斯·开普勒大学正式方法教授职位空缺。
-
有两个SAT技术创新应用(包括SAT、MaxSAT、(D)QBF和相关技术)博士职位空缺,有理论和实验目标。
-
新型跨学科Marie Skłodowska-Curie COFUND博士培训计划后勤CS@TUWien由欧盟委员会共同资助,将提供20个全职博士职位。
-
我们在阿姆斯特丹逻辑、语言和计算研究所(ILLC)招聘一名基于模型的人工智能助理教授,SAT是相关专业知识之一。
-
隆德大学计算机科学系邀请申请理论计算机科学和/或组合优化的博士学位。
-
新型跨学科Marie Skłodowska-Curie COFUND博士培训计划TUWien物流中心由欧盟委员会共同资助,将提供20个全职博士职位。
-
哥本哈根大学计算机科学系(DIKU)邀请申请组合优化领域的博士后职位。
-
阿尔托大学计算机科学系要求申请计算机科学所有领域的终身助理教授职位。CS部门资金充足,芬兰总体上的研究资金可用性很好,这些职位都有一个慷慨的启动计划,为一个新的研究团队提供了数年的资金支持。赫尔辛基的生活质量在国际上具有多重竞争力,芬兰是全球公认的进步和技术先进的北欧社会之一。
-
你是否持有计算机科学或数学博士学位,或期望在未来12个月内获得博士学位?
-
该职位是奥地利科学基金会(FWF)著名的START项目“人工智能参数化分析”的一部分,由Robert Ganian(首席研究员)监督。
-
隆德大学计算机科学系邀请申请博士学位,重点是SAT求解和组合优化。
-
我们在西班牙巴塞罗那蓬佩法布拉大学的AI和ML小组为博士生和博士后研究人员提供了多个资助名额,以开展针对规划的表征学习研究。
-
TU Wien的算法与复杂性小组正在寻找QBF解决方面的博士生。
-
TU Wien(维也纳科技大学)、TU Graz(格拉茨科技大学)和JKU Linz(约翰内斯·开普勒大学)正在为奥地利科学基金(FWF)资助的计算机科学逻辑方法(LogiCS)联合博士项目寻找高素质的候选人。
-
隆德大学计算机科学系邀请申请专注于SAT求解和组合优化的博士后和博士职位。博士后和博士生将在Jakob Nordström的研究小组工作,该研究小组目前正从KTH过渡到位于厄勒海峡大桥两侧的隆德大学和哥本哈根大学的联合地点。
-
这个螺旋研究团队里尔大学(University of Lille)邀请申请计算机科学博士后职位,重点是使用知识汇编领域的技术回答变异模型的查询。该项目的主要目的是研究可变性模型的不同表示,尤其是依赖d-DNNF电路,以执行各种操作,如计数、枚举和更新。
-
阿尔托大学计算机科学系的助理教授申请年度电话现已开通。所有领域都被考虑在内,尤其是广告中列出的重点领域,但特别重要的是可以被视为“软件形式化方法”的领域。博士学位从0年到大约6年的候选人被视为助理教授级别。
-
申请2020-21年加州大学伯克利分校西蒙斯研究所研究奖学金(博士后职位)的呼吁现已发布申请截止日期为12月15日。
-
TU Wien(维也纳理工大学)邀请申请AI技术的全职教授职位。
-
教授职位应专注于人工智能方法的开发、设计和实施或理论。
-
信息通信技术博士学位,研究项目“推进优化模块理论”,可在国际信息与通信技术博士学校意大利特伦托大学。Roberto Sebastiani,特伦托大学DISI研究活动将在特伦托大学信息工程与计算机科学系(DISI)的软件工程与形式方法研究计划内进行。
-
在由首席研究员Kuldeep S.Meel领导的“Provable Verified and Explanable Probabilistic Reasoning”项目中,提供了多个博士后研究职位。这些职位的部分支持来自于授予PI的数百万美元的NRF AI奖学金以及新加坡国防服务组织的额外资金。
-
奥地利维也纳TU Wien的算法和复杂性小组有一个获得全额资助的博士职位空缺。该职位属于FWF资助的关于基于SAT的图形宽度参数局部改进的研究项目P32441。
-
TU Wien的安全与隐私小组目前正在寻找几个优秀的博士和博士后候选人,以在ERC整合器项目“客户端Web安全的基础和工具”中进行研究。该项目将开发客户端web安全的整体方法,奠定其理论基础并开发创新的安全实施技术。该项目是一项多学科的研究工作,有望产生实际影响,并在各个学科取得突破性进展,如web安全、JavaScript语义、软件工程和程序验证。
-
奥地利维也纳TU Wien的算法和复杂性小组有一个获得全额资助的研究助理职位(博士生)空缺。
-
芬兰赫尔辛基阿尔托大学计算机科学系提供的SAT、约束、搜索和应用方面的博士论文职位。2019年2月7日前申请。
-
KTH皇家理工学院的TCS小组邀请申请计算机科学博士后职位,重点是针对大型实例高效解决布尔可满足性问题(SAT)的算法,以及分析和理解此类算法。
-
根据拨款,下一级SAT解决非常困难的问题,很快将提供斯旺西两个RA职位的详细信息。
-
KTH皇家理工学院的理论小组正在寻找SAT解题的博士生。
-
芬兰赫尔辛基阿尔托大学计算机科学系提供的SAT、约束、搜索和应用方面的博士论文职位。2018年9月29日前申请。
-
新加坡国立大学计算机学院提供SAT/CP/AI领域的两个博士后研究员职位。
-
与D-Wave Inc.合作,在意大利特伦托提供一份博士生职位,题为“量子退火用于SAT求解”。
-
KTH皇家理工学院的理论小组正在寻找SAT解题博士生。
-
奥地利的三所大学TU Wien、TU Graz和JKU Linz正在为他们的计算机科学逻辑方法(LogiCS)联合博士项目寻找极具天赋和积极性的学生。LogiCS成立于2014年,目前有44名学生。
-
KTH皇家理工学院的理论小组正在寻找SAT解决方面的博士后和博士生。
-
KTH皇家理工学院的理论小组正在寻找SAT解决博士后。
-
KTH皇家理工学院的理论小组正在寻找SAT解题方面的博士后和博士生。
-
KTH皇家理工学院计算机科学与通信学院邀请申请计算机科学终身副教授职位,该职位范围广泛,涵盖了该学院目前的所有研究领域(因此包括SAT解决)。
-
KTH皇家理工学院的理论小组正在寻找一名SAT解决方面的博士后和一名博士生。
-
KTH皇家理工学院的理论小组邀请申请SAT解决方面的博士后职位。
-
由马蒂博士领导的约束推理和优化小组芬兰赫尔辛基大学的贾维萨洛正在寻找一个或更多有才华和积极性的博士后研究人员与我们合作。
-
德累斯顿大学在并行SAT解决方面提供博士学位,提供理论和应用研究。
-
奥地利维也纳理工大学(Vienna University of Technology,Vienna,Austria)开放了量化布尔公式(QBF)求解的博士学位。
-
Lens(法国)的推理和约束算法小组(CRIL,CNRS UMR 8188)提供博士后职位。
-
阿特伦塔正在聘请一名在SAT和SMT方面具有良好技能的高级工程师。有关详细信息,请参阅公告。