SAtRes    Offers    Student assistant / minijob

Student assistant / minijob

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.