Logic List Mailing Archive
Two PhD student positions in computer science, Berlin (Germany), Deadline: 14 Feb 2013
---=== POSITION 1: ===---
Bei der Technischen Universitt Berlin ist folgende Stelle zu besetzen:
Wiss. Mitarbeiter/in -Entgeltgruppe 13 TV-L Berliner Hochschulen FO-805
(besetzbar fr 16,5 Monate - Mglichkeit der Verlngerung wird angestrebt)
Fakultt IV - Institut fr Softwaretechnik und Theoretische Informatik /
FG Programmierung eingebetteter Systeme (PES)
Bewerbungsfristende 14.02.2013
Aufgabengebiet:
Mitarbeit im Forschungsprojekt "Korrekte Modelltransformationen
(KorMoran)" im Projekt KorMoran sollen Konzepte und Methoden entwickelt
werden, mit denen die Korrektheit von Modelltransformationen, die auf
Graphtransformationssystemen basieren, nachgewiesen werden knnen;
Mglichkeit zur Promotion
Anforderungen:
Erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom,
Master oder quivalent) der Informatik; Interesse an Logik, formaler
Semantik und Verifikation; vertiefte und theoretisch fundierte Kenntnisse
in mindestens einem der folgenden Gebiete: Graphtransformation,
modellbasierte Entwicklung, Modelltransformationsanstze/ weitere
Informationen zu den Stellen unter: thomas.goethel@tu-berlin.de, Tel.: +49
(0)30 314-73451
Zur Wahrung der Chancengleichheit zwischen Mnnern und Frauen sind
Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrcklich
erwnscht.
Schwerbehinderte werden bei gleicher Eignung bevorzugt bercksichtigt.
Aus Kostengrnden werden die Bewerbungsunterlagen nicht zurckgesandt.
Bitte reichen Sie nur Kopien ein.
Die Stellenausschreibung ist auch im Internet unter
http://www.personalabteilung.tu-berlin.de/menue/jobs/abrufbar
Ihre schriftliche Bewerbung richten Sie bitte unter Angabe der Kennziffer
mit den blichen Unterlagen an die
- Der Prsident -
Technische Universitt Berlin
Fakultt IV, Institut fr Softwaretechnik und Theoretische Informatik, FG
Programmierung eingebetteter Systeme
Frau Prof. Dr. Glesner, Sekr. TEL 12-4,
Ernst-Reuter-Platz 7
10587 Berlin
---=== POSITION 2: ===---
Bei der Technischen Universitt Berlin ist folgende Stelle zu besetzen:
Wiss. Mitarbeiter/in -Entgeltgruppe 13 TV-L Berliner Hochschulen FO-804
(besetzbar fr 24 Monate - Mglichkeit der Verlngerung fr 12 Monate)
Fakultt IV - Institut fr Softwaretechnik und Theoretische Informatik /
FG Programmierung eingebetteter Systeme (PES)
Bewerbungsfristende 14.02.2013
Aufgabengebiet:
FO-804: Mitarbeit im Forschungsprojekt "Verification and Transformation of
Embedded Systems (VATES)"; das Projekt VATES beschftigt sich mit der
formalen, maschinellen Verifikation von eingebetteten,
sicherheitskritischen Echtzeitsystemen beginnend mit abstrakten
Spezifikationen bis hin zum ausfhrbaren Code; Mglichkeit zur Promotion
Anforderungen:
Erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom,
Master oder quivalent) der Informatik; Interesse an Logik, formaler
Semantik und Verifikation; vertiefte und theoretisch fundierte Kenntnisse
in mindestens einem der folgenden Gebiete: Formale Modellierung,
Maschinelle Verifikation, Echtzeitsysteme (FO-804)/ weitere Informationen
zu den Stellen unter: thomas.goethel@tu-berlin.de, Tel.: +49 (0)30
314-73451
Zur Wahrung der Chancengleichheit zwischen Mnnern und Frauen sind
Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrcklich
erwnscht.
Schwerbehinderte werden bei gleicher Eignung bevorzugt bercksichtigt.
Aus Kostengrnden werden die Bewerbungsunterlagen nicht zurckgesandt.
Bitte reichen Sie nur Kopien ein.
Die Stellenausschreibung ist auch im Internet unter
http://www.personalabteilung.tu-berlin.de/menue/jobs/abrufbar
Ihre schriftliche Bewerbung richten Sie bitte unter Angabe der Kennziffer
mit den blichen Unterlagen an die
- Der Prsident -
Technische Universitt Berlin
Fakultt IV, Institut fr Softwaretechnik und Theoretische Informatik, FG
Programmierung eingebetteter Systeme
Frau Prof. Dr. Glesner, Sekr. TEL 12-4,
Ernst-Reuter-Platz 7
10587 Berlin