Tuesday, October 29, 2024

[DMANET] Doctoral researcher position on Scalable Automated Reasoning (Karlsruhe, Germany)

Dear all,

I would like to advertise an open position for a research assistant
(a.k.a. doctoral researcher, PhD student), to begin as soon as possible,
at the young investigator group /Scalable Automated Reasoning/ (SAtRes,
https://satres.kikit.kit.edu) at Karlsruhe Institute of Technology (KIT,
Germany).

Our aim is to study and advance essential tools at the core of automated
reasoning with a particular focus on parallel and distributed
algorithms. In our prior research, we have designed the most scalable
distributed SAT solver to date, achieving appealing speedups at
thousands of parallel cores distributed over more than 100 machines.
Continuing and expanding on this fruitful line of research, we intend
the doctoral research to focus on one of the following fields (to be
determined together with the candidate):

- Increase the scalability of parallel and distributed SAT solving
systems by fostering cooperation across solver threads and reducing the
redundant work they perform.

- Investigate how to leverage the power of modern distributed SAT
solving and task scheduling methods for the central verification
technique of Bounded Model Checking (BMC).

- Explore how to transfer distributed SAT solving technology to
Satisfiability Modulo Theories (SMT).

A degree qualifying for doctoral studies in computer science (M.Sc.
Computer Science or similar) with good grades is required. Prior
specialization in formal methods, algorithms, and/or parallel and
distributed computing is expected. Good programming skills, in
particular with C++, are highly recommended or should be acquired
rapidly. The candidate will be supervised by Dr. Dominik Schreiber and
co-supervised by Prof. Peter Sanders (Algorithm Engineering group @
KIT). We anticipate high-profile collaborations both with KIT colleagues
as well as with external researchers.

The position is full-time and compensated competitively (tariff TVÖD E13).

The full advertisement with further details can be found at:
https://s.kit.edu/satres-phd

Informal applications / statements of interest / questions should be
directed to Dominik Schreiber (dominik.schreiber@kit.edu).

Please feel free to share this advertisement with anybody you know who
might be interested. Thank you!

Best regards,

Dominik

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************