[Job] Hiwi gesucht: Entwickler/in für [mc]square (10h/Woche)

[sbiallas]

Für die Weiterentwicklung von [mc]square sind mehrere Stellen in unterschiedlichen
Aufgabenbereichen zu besetzen. [mc]square ist ein in Java geschriebener Model Checker für
Mikrocontroller Software. Details über das Projekt sind zu finden auf:

http://www.embedded.rwth-aachen.de/mc_square

Ihre Aufgaben:

• Einarbeiten in die vorhandenen Klassen
• Umsetzen von neuen Algorithmen bzw. Ideen
• Weiterentwicklung der GUI
• Testen der entwickelten Software
• Einbringen eigener, neuer Ideen

Wir bieten

• Mitarbeit in der Entwicklung eines Tools, welches aktuelle Forschungsergebnisse in die Praxis umsetzt
• Super Team (ca. 15 Mitglieder)
• Angenehme Arbeitsatmosphäre
• Kaffeevollautomat

Anforderungen
Der/die Student/Studentin sollte Informatik studieren und über Kenntnisse in Java oder C++
verfügen. Erfahrungen mit Mikrocontroller-Software sind wünschenswert, jedoch nicht erforderlich.

Kontakt
Bei Interesse wenden Sie sich bitte mit allen „aussagekräftigen Dokumenten“ an:
Sebastian Biallas
0241-80 21158
biallas[at]embedded.rwth-aachen.de