Hiwi für Softwareentwicklung im Rahmen eines Forschungsprojekts gesucht!

Motivation

Am FZI werden zum verbesserten Entwurf und zur Bewertung von eingebetteten Systemen neue Methoden und Softwarewerkzeuge entwickelt. Die Abteilung Systementwurfs in der Mikroelektronik sucht eine wissenschaftliche Hilfskraft zur Unterstützung der Softwareentwicklung. Es wird die Möglichkeit geboten, an der aktuellen praxisrelevanten Forschung in Bereichen Verifikation von Hardware- und Softwaresystemen mit zu arbeiten. Darüber hinaus besteht die Möglichkeit, in den Themenbereichen eine Studien-/Bachelor-/Diplom-/Masterarbeit anzufertigen.

Aufgaben

Für die Verifikation von beliebigen XML-Modellen soll ein Python-Tool entwickelt werden, dass aus XML-Modellen eine Python-Objekt-Datenstruktur erstellt. Dieses Tool soll mittels einer zu entwickelnden kontextsensitiven Python-API in eine bestehende Python-Verifikationsumgebung integriert werden.

Wir erwarten

• Gute Kentnisse in der Programmiersprache Python
• Kentnisse in XML, UML oder regulären Ausdrücken sind von Vorteil
• Selbständiges Denken und Arbeiten
• sehr gute Deutsch- oder Englischkenntnisse
• Fähigkeit zur Arbeit im Team
• Motivation, Engagement und Kreativität

Wir bieten

• einen Einblick in wissenschaftliches Arbeiten
• eine industrienahe Arbeitsumgebung und -organisation
• ein interdisziplinäres Umfeld mit Partnern aus Wissenschaft, Industrie und Anwendern
• interessante Projekte mit vielen Möglichkeiten zur praktischen Umsetzung des Gelernten oder zur Weiterbildung
• einen Arbeitsplatz in guter Arbeitsatmosphäre
• flexibel einteilbare Arbeitszeit

Erforderliche Unterlagen

• aktueller Notenauszug
• tabellarischer Lebenslauf

Weitere Informationen

• Start: ab sofort
• Projekt-Homepage: SANITAS
• Studiengänge: Informatik, Elektrotechnik,
• Kontakt: Andreas Burger Diese E-Mail-Adresse ist gegen Spam-Bots geschützt, Sie müssen Javascript aktivieren, damit Sie sie sehen können , FZI Forschungszentrum Informatik, Forschungsbereich ISPE Haid-und-Neu-Str. 10-14, 76131 Karlsruhe, www.fzi.de/sim