---------- Forwarded message ----------
From: Wil van der Aalst <w.m.p.v.d.aalst@tm.tue.nl >
Date: Thu, Mar 25, 2010 at 11:25 PM
Subject: [Dbworld] Vacancy: PhD position working on Behavioral Service Substitution (BOSS)
To: dbworld@cs.wisc.edu
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 <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.
_______________________________________________
Please do not post msgs that are not relevant to the database community at large. Go to www.cs.wisc.edu/dbworld for guidelines and posting forms.
To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld
From: Wil van der Aalst <w.m.p.v.d.aalst@
Date: Thu, Mar 25, 2010 at 11:25 PM
Subject: [Dbworld] Vacancy: PhD position working on Behavioral Service Substitution (BOSS)
To: dbworld@cs.wisc.
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 <http://service-
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.workflowpattern
www.yawl-system.
www.tue.nl for more information.
In the project we collaborate with Humboldt-Universitä
Universität Rostock in the context of the B.E.S.T. (Berlin-Rostock-
Service Technology) Program (https://www2.
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.
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.
"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.
____________
Please do not post msgs that are not relevant to the database community at large. Go to www.cs.wisc.
To unsubscribe, go to https://lists.
__._,_.___
INFO, TIPS BEASISWA, FAQ - ADS:
http://id-scholarships.blogspot.com/
===============================
INFO LOWONGAN DI BIDANG MIGAS:
http://www.lowongan-kerja.info/lowongan/oil-jobs/
===============================
INGIN KELUAR DARI MILIS BEASISWA?
Kirim email kosong ke beasiswa-unsubscribe@yahoogroups.com
http://id-scholarships.blogspot.com/
===============================
INFO LOWONGAN DI BIDANG MIGAS:
http://www.lowongan-kerja.info/lowongan/oil-jobs/
===============================
INGIN KELUAR DARI MILIS BEASISWA?
Kirim email kosong ke beasiswa-unsubscribe@yahoogroups.com
.
__,_._,___
