Im Rahmen des Projekts Global Benchmark Database (GBD) [1] arbeiten wir in der Forschunsgruppe Algorithm Engineering an einem leistungsstarken Toolsets zur nachhaltigen Verwaltung und Analyse von Benchmarkdaten. Der Fokus liegt dabei insbesondere auf der Unterstützung der Forschung zu NP-schweren Problemen wie SAT und MaxSAT.

Deine Aufgaben:  - Unterstützung bei der Implementierung und Weiterentwicklung von GBD-Tools in Python und C++.  - Analyse und Visualisierung von Daten aus Benchmark-Datenbanken.  - Erweiterung der bestehenden Funktionalitäten durch neue Problem-Domänen oder Feature-Extraktoren.

Wir suchen motivierte Studierende mit:  - Erfahrung in Python und C++ oder der Bereitschaft, sich schnell in diese Technologien einzuarbeiten.  - Interesse an algorithmischer Forschung und Softwareentwicklung.  - Eigeninitiative und Freude an selbstständigem Arbeiten.

Was wir bieten:  - Flexible Arbeitszeiten.  - Praktische Erfahrung in einem innovativen Forschungsprojekt.  - Eine Möglichkeit, einen direkten Beitrag zu internationalen Konferenzen und Veröffentlichungen zu leisten.

Interesse? Melde dich bei Dr. Markus Iser (E-Mail: markus.iser@kit.edu) mit einer kurzen Vorstellung und deinem Lebenslauf. Wir freuen uns auf deine Bewerbung!

[1] https://doi.org/10.4230/LIPIcs.SAT.2024.18