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 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
• Die Möglichkeit etwas Neues zu lernen
• Einblicke in die aktuelle Forschung
• Möglichkeiten fuer IPs, Bachlor-, 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.

2.2 Administrator im heterogenen Netzwerk

Für die Betreuung unserer Infrastruktur (FreeBSD und Linux Server und Workstations) suchen wir eine studentische Hilfskraft mit guten bis sehr guten Kenntnissen im Umgang mit UNIX-(artigen-) Systemen.

Zum Aufgabenbereich gehört in erster Linie die Überwachung der Systeme, insbesondere Kontrolle der Backups, Funktionstüchtigkeit der Server Dienste, sowie die fortlaufende Aktualisierung der Systeme. Insbesonder für den Bereich FreeBSD soll eine enge Zusammenarbeit mit der ARBI (Jörg Lehners) fortgesetzt werden.

Als größere Herausforderungen erwarten einen geeigneten Kandidaten die Organisation des Betriebsystem-Updates zentraler Server, aber auch die Integration neuer Services (z.B. Web-Mail, VPN, ...) in unsere Infrastruktur. Die Arbeitszeiten können recht flexibel mit uns vereinbart werden.

Interessierte mögen sich bitte mit Prof. Dr. E.-R. Olderog oder Jan-David Quesel in Verbindung setzen.

Stand: 28.9.2011