[Stellenangebote] Vollzeit-Job: Wissenschaftlicher Mitarbeiter im Projekt KorMoran an der TU Berlin gesucht

[Wenwei Rong]

-------- Original-Nachricht --------
Betreff: 	Wissenschaftlicher Mitarbeiter im Projekt KorMoran
Datum: 	Tue, 4 Jun 2013 09:51:15 +0200
Von: 	Nils Jähnig <nils.jaehnig at tu-berlin.de>
An: 	stellenangebote at lists.spline.inf.fu-berlin.de



Hallo,

wir suchen eine_n wissenschaftliche_n Mitarbeiter_in im Projekt 
KorMoran. KorMoran steht für korrekte Modelltransformationen, und dafür 
sollen Konzepte und Methoden entwickelt werden (aufbauend auf 
Graphtransformationen). Interesse an Logik, formaler Semantik und 
Verifikation sowie ein Hochschulabschluss in Informatik, Mathe oder 
ähnlichem werden vorausgesetzt.

Die Stelle wird für 18 Monate ausgeschrieben, eine Verlängerung 
angestrebt und eine Promotion ist möglich.

Ist eine sehr nette Arbeitsgruppe hier, bei Interesse könnt ihr euch 
(auch erst mal ganz unförmlich) direkt bei mir melden

Nils Jähnig
Tel: 030/31473419
mail: nils.jaehnig at tu-berlin.de <mailto:nils.jaehnig at tu-berlin.de>


Hier der link zur Ausschreibung:

http://www.personalabteilung.tu-berlin.de/fileadmin/abt6/archiv/Stellenausschreibungen/externe_Stellenausschreibungen/Wiss._Mitarbeiter(in)_ohne_Lehraufgaben/5857830.05.2013_Fak._IV,_Inst._fuer_Softwaretechnik_und_Theoretische_Informatik.pdf 
<http://www.personalabteilung.tu-berlin.de/fileadmin/abt6/archiv/Stellenausschreibungen/externe_Stellenausschreibungen/Wiss._Mitarbeiter%28in%29_ohne_Lehraufgaben/5857830.05.2013_Fak._IV,_Inst._fuer_Softwaretechnik_und_Theoretische_Informatik.pdf>

Grüße
Nils


-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.spline.inf.fu-berlin.de/mailman/private/stellenangebote/attachments/20130606/123bdccd/attachment.html>