Dear Colleagues,
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 <[email protected]>
--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
