PhD student working on Behavioral Service Substitution (BOSS)

PhD student working on Behavioral Service Substitution (BOSS)


The position is for 4 years and funded by NWO.

Service-orientation aims at composing complex systems from simpler systems, called services. One fundamental problem is to decide when a service can be substituted by another service. In this project, we approach this problem by combining theoretical research and applicability in industrial settings. To this end, we investigate a theoretical foundation of service substitution at the level of service models. Among others, we develop algorithms to decide service substitution and to construct substitutable services. We implement and integrate the theoretical results into service technology tools available at http://service-technology.org/tools and embed it in other tools such as ProM and BPM/SOA platforms.



The project will be conducted in the AIS group under the supervision of prof.dr. Wil van der Aalst and dr. Christian Stahl. The AIS group is part of the Department of Mathematics and Computer Science. The department provides undergraduate and MSc programs in Industrial and Applied Mathematics and in Computer Science. The Department has research collaborations with other Departments at the Technische

Universiteit Eindhoven as well as with a large number of other universities and companies, both at home and abroad. The Department has approximately 350 employees and more than 700 students.



The AIS group is doing research in the area of process modeling and analysis. The group is rated as one of the leading computer science groups in the Netherlands and TU/e often seen as the epicenter of BPM research. The group uses formal methods such as Petri nets to design, analyze, and implement dynamic systems. The group is well-versed in workflow management, process mining, and process verification. See www.workflowpatterns.com, www.workflowcourse.com, www.processmining.org,

www.yawl-system.com, www.win.tue.nl/ais/, www.wvdaalst.com, and

www.tue.nl for more information.



In the project we collaborate with Humboldt-Universitä t zu Berlin and Universität Rostock in the context of the B.E.S.T. (Berlin-Rostock- Eindhoven Service Technology) Program (https://www2.informatik.hu-berlin.de/top/best/).



Requirements:



We are looking for a candidate who meets the following requirements:

- a solid background in Computer Science and interested in systems for process support (demonstrated by a relevant Master);

- knowledge of process modeling and of formal methods (i.e., at least one of the fields automata theory, process algebra, formal verification, or Petri nets);

- programming skills in C/C++/Java

- candidates from non-Dutch or non-English speaking countries should be prepared to prove their English language skills;

- good communicative skills in English, both in speaking and in writing.



We are looking for candidates who really want to make a difference and like to do theoretical research, on the one hand, and to implement these results such that they can be applied to industrial services, on the other hand.



Appointment and salary:



See http://w3.tue.nl/en/services/dpo/conditions_of_employment/formal_conditions_of_employment/ for more information on working at TU/e, salary, etc.



Application:

Interested candidates are requested to send an application by e-mail to Ine van der Ligt (e-mail: wsinfsys@tue. nl) with the subject field "BOSS Vacancy AIS".



The application should consist of the following parts:

- motivational letter;

- a curriculum vitae;

- copies of diplomas;

- proof of English language skills (if applicable).



Applications should be received by April 15th.