The University of Rostock has a vacancy for a PhD or post-doctoral
position on:
Synthesis of Behavioural Adaptors (Mediators) for Web Services
=============================================================
The position can start at any time in the near future and will last two
years. The possibility of extending the contract depends on successful
applications for follow-up project. The position is paid as a full
position according to group east-13 of the salary system TVL that is
generally used in German public sector.
In the project, we study systematic approaches to the synthesis of
behavioural adaptors (mediators) between web services. The services are
modeled as Petri nets for which we have a back-and-forth translation
to the industrially relevant language WS-BPEL. The project is a joint
project with the group of Wolfgang Reisig at Humboldt-Universitaet zu
Berlin and funded by the national funding agency DFG. We have
established cooperations with several IBM labs as well as with research
groups at TU Eindhoven.
Candidates should have a solid background in some of the following areas:
- formal methods for web services or business processes
- formal modelling of concurrent systems (process algebra, Petri nets, etc.)
- model checking or other methods of formal verification of discrete systems
- controller synthesis for discrete event systems
Rostock is a city of about 200.000 inhabitants at the coast of the
Baltic Sea
in north-eastern Germany. It offers excellent conditions for living and
housing. The institute of computer science gets excellent marks in
student rankings and ranks among the first third of German universities
in most parameters that concern research.
For more information about our research group, visit the web site
http://wwwteo.informatik.uni-rostock.de/ls_tpp/
Interested candidates should contact Karsten Wolf,
[EMAIL PROTECTED]
with an informal description of their research background.
With best regards
Karsten Wolf
----
[[ 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] ]]
