Tenure-Track Assistant Professorship on Formal Methods at TUM (Technical University of Munich)

The Technical University of Munich (TUM) offers a Tenure-Track Assistant Professorship
on Formal Methods for Software Reliability. The position is primarily intended
for researchers with 2-4 years of postdoctoral experience.

Particulars on the position and instructions to apply can be found at

http://portal.mytum.de/jobs/professuren/NewsArticle_20140911_110816

Information on the TUM Faculty Tenure Track system is available at

https://www.tum.de/en/about-tum/working-at-tum/faculty-recruiting/tum-faculty-tenure-track/

Applications must be submitted by October 15, 2014.

For more information, please contact:

Javier Esparza <esparza@in.tum.de>


--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany




--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany