my group on System Analysis and Modeling at the Hasso Plattner Institute for Software Systems Engineering (HPI) of the University of Potsdam in Germany near Berlin has currently the following open positions:
• PostDoc QUANTUM Project (f/m) http://www.hpi.uni-potsdam.de/hpi/stellen/offene_stellen/postdoc_quantum.html?L=1 • Ph.D. Student QUANTUM Project (f/m) http://www.hpi.uni-potsdam.de/hpi/stellen/offene_stellen/phd_student_quantum.html?L=1 where QUANTUM stands for quantitative analysis of service-oriented real-time systems with structure dynamics (http://www.hpi.uni-potsdam.de/giese/projects/quantum.html?L=1). For these two posts expertise in any of the the following topics would be helpful: • Modeling and formal analysis of structure dynamics • Modeling and formal analysis of timed behavior • Modeling and formal analysis of probabilistic behavior • Modeling and formal analysis of service-oriented systems • Ph.D. Students on MDE (f/m) http://www.hpi.uni-potsdam.de/hpi/stellen/offene_stellen/phd_students_on_mde.html?L=1 for any of the following topics: • Model-driven development of embedded real-time systems • Model-driven development of self-adaptive systems • Efficient model transformations and synchronization • Traceability for agile and innovative projects • Management of models and model operations If you are interested, please have a look at the more detailed descriptions for the offered positions and contact me if you have any additional questions concerning the offered positions. Best regards, Holger Giese _______________________________________ Prof. Dr. Holger Giese System Analysis and Modeling Group Hasso-Plattner-Institut Prof-Dr-Helmert-Str. 2-3 14482 Potsdam Germany _______________________________________ Room A-2.5 Tel ++49 331 5509 366 Fax ++49 331 5509 309 Email [email protected] _______________________________________ Office ++49 331 5509-314 _______________________________________ Design IT. Create Knowledge. _______________________________________ Hasso-Plattner-Institut für Softwaresystemtechnik GmbH, Potsdam Amtsgericht Potsdam, HRB 12184 Geschäftsführung: Prof. Dr. Christoph Meinel ---- [[ 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] ]]
