Offers
Open position(s): Student minijob (HiWi)Open position(s): Student minijob (HiWi)
The young investigator group on Scalable Automated Reasoning at the Department of Informatics at the Karlsruhe Institute of Technology (KIT, in Germany) is currently offering student minijobs (“HiWi-Jobs”).
Tasks
What follows is a non-exhaustive list of possible tasks. The actual, precise focus of the minijob is determined together with the candidate.
- Improve, maintain, and extend scalable software systems that are in use by researchers around the globe
- Execute distributed programs at thousands of cores in parallel in an HPC cluster / supercomputer / cloud system
- Gather, analyze, visualize, and interpret data arising from our systems, including Big Data in the shape of machine-generated proofs
- Take an active part in our scientific process that results in international publications
Requirements
- Student of computer science or similar
- Good programming skills, mainly C++
- Ideally, prior knowledge in the areas of formal methods, parallel processing and/or algorithm engineering
- Solid English skills, especially in written language
Contact
If you are interested, please direct your informal application and/or any questions to Dominik Schreiber dominik.schreiber@kit.edu.