Open PosDoc and PhD positions at the HPI

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 that might be of interest for people working on graph transformation systems:

* 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 holger.giese@hpi.uni-potsdam.de