Stellenausschreibungen

 

1 Stellen zur wissenschaftlichen Mitarbeit

Derzeit sind leider keine Stellen zur wissenschaftlichen Mitarbeit zu besetzen.

 

2 Stellen für Studierende

2.1 Java-Programmierer

Im Rahmen des Sonderforschungsbereiches AVACS suchen wir einen weiteren Programmierer fuer KeYmaera. Dabei gibt es Aufgaben aus den verschiedensten Bereichen. Von Swing über SWT (für ein Eclipse-Frontend), über Compilerbau und verteilte Algorithmen (u.a. RMI) bis hin zur Anbindung neuer Backends ist eigentlich alles dabei.

Was wir bieten:

• 40 Stunden pro Monat nach dem üblichen HiWi-Uni-Tarif
• Gute Betreuung und ein nettes Arbeitsumfeld (es gibt bereits einen HiWi, der an KeYmaera arbeitet)
• Die Möglichkeit etwas Neues zu lernen
• Einblicke in die aktuelle Forschung
• Möglichkeiten fuer IPs, Diplom-, sowie Masterarbeiten aufbauened auf der HiWi-Tätigkeit

Was du mitbringen solltest:

• Spass am Programmieren
• Grundkenntnisse in Java (alles weitere kann im Rahmen der HiWi-Tätigkeit erlernt werden)
• Zeit

Interessierte mögen sich bitte mit Jan-David Quesel in Verbindung setzen.