Sci. et al. News
Image: © Daniel Vieser. Architekturfotografie, Karlsruhe
The investigator group Scalable Automated Reasoning at Karlsruhe Institute of Technology (KIT), Germany, is looking for a research assistant (a.k.a. doctoral researcher, PhD student), beginning as soon as possible.
Requirements and Expectations
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 desirable. Good programming skills, in particular with C++, are highly recommended or need to be acquired rapidly. The candidate should be proficient in academic writing (e.g., via a high-quality master’s thesis in English) and willing to work together with other researchers.
In line with the overarching methodology of Algorithm Engineering [10], important cross-sectional activities throughout the doctoral research are careful consideration of practical inputs and applications, theoretical analyses, practical performance engineering, and thorough experimental evaluations. Publications at high-profile international conferences or journals should be pursued. Significant involvement in teaching activities is not intended (but possible if desired). We do expect the candidate to supervise student qualification theses (roughly 1–2 in parallel) on topics that are directly relevant to the doctoral studies.
Organization
The candidate will be supervised by young investigator group (YIG) leader Dr. Dominik Schreiber and by Prof. Dr. Peter Sanders (in German and/or English). The position is full-time and compensated according to TVÖD E13. Initial funding is secured until 12/2027. An extension may be possible.
What is offered
The candidate will be able to focus on his or her doctoral studies and, in cooperation with other researchers, conduct highly visible research on an international level on topics of high practical relevance.
Collaborations are planned with KIT colleagues as well as with renowned international researchers. As part of the research, the candidate will have the opportunity to interact with state-of-the-art High Performance Computing (HPC) environments, running your software on thousands of cores simultaneously.
The Karlsruhe Institute of Technology (KIT) has the oldest computer science department in Germany and is one of the most highly regarded universities in Germany in the field of computer science. In addition, KIT and the project in particular are part of the Helmholtz Association, Germany’s largest scientific organization. Karlsruhe is a modest university town (300k inhabitants) with a large number of students, offering a wide variety of activities in a sunny climate and close to several remarkable landscapes (Black Forest, Northern Vosges, Palatinate Forest).
Contact
Informal application or questions: Dominik Schreiber [email protected]
More information: https://satres.kikit.kit.edu or https://satres.kikit.kit.edu/documents/phd-advert-kikit.pdf
