[Jobs] Hiwi-Stelle am Lehrstuhl PI 2

Ausschreibung einer Hiwi-Stelle am Lehrstuhl PI 2 Wir suchen eine studentische Hilfskraft zur Weiterentwicklung eines in Java verfassten Tools zur Analyse komponenten basierter Systeme. Interessenten sollten gute Java-Kenntnisse und Verstaendniss von den Grundlagen der formalen Logik besitzen. Wie bieten: - Umfassende Betreuung und Hilfestellung bei der Weiterentwicklung. - Wahlweise ein eigenes Buero mit Arbeitsplatzrechner oder arbeiten von zu Hause. - Flexible Arbeitszeiten nach Absprache. Interessenten oder Fragen zu Details bitte an Nils Semmelrock nsemmelr(a)informatik.uni-mannheim.de oder einfach vorbei kommen in A5 B120. Nils Semmelrock