运筹Offer是运筹OR帷幄社区旗下的留学申请、求职资讯平台，聚焦运筹学、大数据、AI等领域，内容涵盖企业/高校招聘、职场/申请经历分享。
About this position
The young investigator group Scalable Automated Reasoning (SAtRes) at the Karlsruhe Institute of Technology (KIT), Germany, is seeking a motivated Research Assistant (Doctoral Researcher/PhD Student) to begin as soon as possible.
About SAtRes
Our aim is to study and advance essential tools at the core of automated reasoning, focusing on parallel and distributed algorithms. We have developed the most scalable distributed SAT solver to date, achieving significant speedups across thousands of parallel cores distributed over more than 100 machines.
Research Focus
The doctoral research will continue and expand on our previous work, with a focus on one of the following fields (to be determined in collaboration with the candidate):
Enhancing the scalability of parallel and distributed SAT solving systems by fostering cooperation among solver threads and minimizing redundant work.
Leveraging modern distributed SAT solving and task scheduling methods for Bounded Model Checking (BMC).
Transferring distributed SAT solving technology to Satisfiability Modulo Theories (SMT).
Supervision
The candidate will be supervised by Dr. Dominik Schreiber and co-supervised by Prof. Peter Sanders (Algorithm Engineering group at KIT). We anticipate high-profile collaborations with colleagues at KIT and external researchers.
Details
Position: Full-time
Compensation: Competitive (tariff TVÖD E13)
Contact
Informal applications, statements of interest, or questions should be directed to Dominik Schreiber at dominik.schreiber@kit.edu.
Qualifications
A degree qualifying for doctoral studies in computer science (M.Sc. in Computer Science or similar) with good grades.
Prior specialization in formal methods, algorithms, and/or parallel and distributed computing is expected.
Good programming skills, particularly in C++, are highly recommended or should be acquired rapidly.
How to apply
For further details, please refer to the full advertisement:
SAtRes PhD Position
https://s.kit.edu/satres-phd
如何发布招聘？
如果你也想发布公司招聘岗位，博士/博士后岗位，请扫描以下二维码或者添加微信号：or_offer 联系我们的工作人员，添加请修改备注为：公司/学校+姓名+招聘！
微信公众号后台回复
实习：获取实习岗位投递方式
校招：获取校招岗位投递方式
社招：获取社招岗位投递方式
职场会客厅：获取职场相关直播链接和往期直播视频完整版
留学会客厅：获取留学直播链接和往期直播视频完整版
海外硕博申请：获取客服联系方式
求职群：获取加入【IT算法求职内推群】方式
留学群：获取加入【运筹学海外硕博申请群】方式
