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