Logic List Mailing Archive

Two PhD student positions in computer science, Berlin (Germany), Deadline: 14 Feb 2013

---=== POSITION 1: ===---

Bei der Technischen Universit�t Berlin ist folgende Stelle zu besetzen: 
Wiss. Mitarbeiter/in -Entgeltgruppe 13 TV-L Berliner Hochschulen FO-805 
(besetzbar f�r 16,5 Monate - M�glichkeit der Verl�ngerung wird angestrebt)

Fakult�t IV - Institut f�r 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 k�nnen; 
M�glichkeit 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, Modelltransformationsans�tze/ weitere 
Informationen zu den Stellen unter: thomas.goethel@tu-berlin.de, Tel.: +49 
(0)30 314-73451

Zur Wahrung der Chancengleichheit zwischen M�nnern und Frauen sind 
Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdr�cklich 
erw�nscht.

Schwerbehinderte werden bei gleicher Eignung bevorzugt ber�cksichtigt.

Aus Kostengr�nden werden die Bewerbungsunterlagen nicht zur�ckgesandt.
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 Pr�sident -
Technische Universit�t Berlin
Fakult�t IV, Institut f�r 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 Universit�t Berlin ist folgende Stelle zu besetzen: 
Wiss. Mitarbeiter/in -Entgeltgruppe 13 TV-L Berliner Hochschulen FO-804 
(besetzbar f�r 24 Monate - M�glichkeit der Verl�ngerung f�r 12 Monate)

Fakult�t IV - Institut f�r 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 besch�ftigt sich mit der 
formalen, maschinellen Verifikation von eingebetteten, 
sicherheitskritischen Echtzeitsystemen beginnend mit abstrakten 
Spezifikationen bis hin zum ausf�hrbaren Code; M�glichkeit 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 M�nnern und Frauen sind 
Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdr�cklich 
erw�nscht.

Schwerbehinderte werden bei gleicher Eignung bevorzugt ber�cksichtigt.

Aus Kostengr�nden werden die Bewerbungsunterlagen nicht zur�ckgesandt.
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 Pr�sident -
Technische Universit�t Berlin
Fakult�t IV, Institut f�r Softwaretechnik und Theoretische Informatik, FG 
Programmierung eingebetteter Systeme
Frau Prof. Dr. Glesner, Sekr. TEL 12-4,
Ernst-Reuter-Platz 7
10587 Berlin