Offene Stellen am Lehrstuhl für Softwaretechnik und Programmiersprachen

Am Lehrstuhl für Softwaretechnik und Programmiersprachen sind ab sofort mehrere Stellen als wissenschaftliche/r Mitarbeiter/in in Vollzeit zu besetzen:

Im DFG-geförderten Projekt SecureMDD: Ziel des Projekts ist die Anpassung der modellgetriebenen Softwareentwicklung an die besonderen Randbedingungen vertrauens- und sicherheitsrelevanter Systeme. Das Projekt konzentriert sich auf die Anwendungsbereiche des elektronischen Handels sowie des sicherheitsrelevanten Austauschs von Informationen. Besondere Anforderungen sind die garantierte Einhaltung klassischer Sicherheitseigenschaften (wie Geheimhaltung und Integrität von Daten), aber auch anwendungsspezifischer Eigenschaften (wie die Vermeidung wirtschaftlicher Schäden) in einer unsicheren bzw. feindlichen Umgebung. Dieses Ziel soll durch eine durchgängige Integration formaler Modelle in die modellgetriebene Softwareentwicklung erreicht werden. Damit soll es möglich sein, komplexe Anwendungen systematisch auf verschiedenen Abstraktionsebenen mit UML zu modellieren, Sicherheitseigenschaften mit formalen Methoden nachzuweisen und für Chipkarten sowie Web Services automatisch Code zu generieren.

Im DFG-geförderten Projekt SaveOrca: Ziel des Projektes ist es Methoden und Techniken zur Analyse, Design und Konstruktion von Organic Computing Systemen zu schaffen. Die nächste Generation von Computersystemen wird im Gegensatz zu heutigen Systemen selbst-ständig auf Fehler reagieren (Selbst-Heilung), sich autonom an veränderte Umgebungsbedingungen anpassen (Selbst-Adaption) und sich kontinuierlich im laufenden Betrieb selbständig optimieren (Selbst-Optimierung) können. Diese Art von Systemen bezeichnete man in Anlehnung an die Adaptionsfähigkeit  von organischen Lebewesen als Organic Computing Systeme. Zur Umsetzung dieser Ziele kommen verschiedene Techniken des modernen Software Engineerings wie Meta-Modellierung, Modell-Transformationen, Analyse- und Design-Prozesse zum Einsatz. Diese werden verbunden mit intelligenten, lernfähigen Algorithmen, um Systeme zu schaffen, welche die genannten Selbst-X Eigenschaften haben. Das Projekt wird im Rahmen eines DFG-Schwerpunktprogramms mit 18 anderen Hochschulen/Projekten durchgeführt .

Im Rahmen des vom bayerischen Wirtschaftsministeriums geförderten Projekts "Software Engineering für Industrieroboter": Ziel des Forschungsvorhabens ist es die Grundlage für eine neue Softwaregeneration  für Industrieroboter zu schaffen. Momentan werden Industrieroboter weitgehend in gewachsenen, spezialisierten Programmiersprachen programmiert. Dies war historisch durch die Notwendigkeit harter Echtzeit bedingt. Durch den immensen Leistungszuwachs im Bereich der Rechenleistung von Computersystemen ergeben sich jetzt neue Möglichkeiten. In diesem Projekt werden modernste Programmiersprachen und -konzepte wie .NET und SOA, Entwicklungsumgebungen und Techniken des Software Engineerings so erweitert, dass sie zur Steuerung von Industrierobotern verwendet werden können. Das Projekt wird gemeinschaftlich mit einem der größten Industrieroboterhersteller der Welt und verschiedenen Technologiezulieferern durchgeführt.

Was Sie können:

Ihre Qualifikation ist ein mit sehr gutem Erfolg abgeschlossenes universitäres Hochschulstudium der Informatik oder einem verwandten Bereich. Wir erwarten selbständiges Arbeiten, Teamfähigkeit und die Befähigung, sich in neue Themenbereiche rasch einzuarbeiten.

Was wir bieten:

Wir bieten die Möglichkeit zur Promotion, die Chance zur Mitarbeit an neuesten Forschungsbrennpunkten auf internationaler Ebene, den Kontakt zu einer Vielzahl führender Praxispartner, die Integration in ein junges, offenes Team sowie flexible Arbeitszeiten. Die Eingruppierung erfolgt nach Entgeltgruppe 13 des Tarifvertrags der Länder (TV-L). Die Stellen sind zunächst auf 2 Jahre befristet, eine Verlängerung bis zur Promotion ist bei positiver Evaluation vorgesehen.

Kontakt:

Für weitere Informationen wenden Sie sich bitte an:

Dipl.-Inf. Nina Moebius
moebius@informatik.uni-augsburg.de
Tel: 0049-821-598-2122

Bewerbung:

Bitte richten Sie Ihre aussagekräftigen Bewerbungsunterlagen (inkl. eine Liste der von Ihnen gehörten Vorlesungen) bis zum 31.10.2008 an:

Prof. Dr. Wolfgang Reif

Lehrstuhl für Softwaretechnik und Programmiersprachen
Fakultät für Angewandte Informatik
Universität Augsburg, 86135 Augsburg
Tel: 0049-821-598-2174
Fax: 0049-821-509-2175

Gerne nehmen wir auch Bewerbungen in elektronischer Form. Bitte senden Sie diese an moebius@informatik.uni-augsburg.de

Die Universität Augsburg möchte den Anteil der Frauen im wissenschaftlichen Bereich erhöhen und ist deshalb an Bewerbungen von Frauen besonders interessiert. Vollzeitstellen sind grundsätzlich teilbar. Schwerbehinderte werden bei gleicher Eignung vorrangig eingestellt.