Program Beasiswa S3, PhD position working on Behavioral Service Substitution (BOSS)

Program Beasiswa S3

Vacancy: PhD position working on Behavioral Service Substitution (BOSS)
The Architecture of Information Systems (AIS) of the Department
of Mathematics and Computer Science of the Technische Universiteit
Eindhoven (TU/e) is looking for

**** one 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 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
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.