PhD and Postdoc positions on Process Integration and Workflow Management using Formal Methods at TU/e - Eindhoven

People with Petri-net expertise are explicitly invited to apply on the
two positions listed below.

------------------------------------------------------------------------
PhD and Postdoc positions on Process Integration and Workflow Management
using Formal Methods

In the context of the Poseidon project we are looking for both a PhD and
a Postdoc with a strong technical background in process modeling and
analysis. The Poseidon project involves Thales, the Embedded Systems
Institute, Noldus, Technische Universiteit Eindhoven (TU/e), and five
other Dutch universities. Thales is a global electronics company
delivering mission-critical information systems and services for the
Aerospace, Defense, and Security markets and serves as the main industry
partner in this project. Several PhDs, Postdocs, and staff members will
work on this project for a period of four years. The overall goal is to
address the reliably of evolving systems-of-systems in the domain of
maritime safety and security.

The AIS group at TU/e is doing research in the area of process modeling
and analysis. 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.
Therefore, the main contribution of AIS group in the Poseidon project
will focus the process aspects of systems-of-systems. A PhD and a
Postdoc eager and qualified to work on these topics will be hired.

For the Poseidon project, systems-of-systems in the domain of maritime
safety and security will act as research driver and industrial reference
frame. The contribution of AIS in the project focuses on the
"Integration and Acceptance" subject and involves the following research
topics:
- The connection of system components that use various protocols for
interaction.
This involves issues such as process compatibility, process mining, and
interface adaptation. A related challenge is the discovery of protocols
and non-conformance by actually observing the systems interact in their
natural habitat.
- Supporting the integration and acceptance workflow. Thales produces
systems that are made-to-order and that need to be tested under
different circumstances. The integration and acceptance of these systems
is a complex process that can profit from workflow technology.

Requirements:
We are interested in candidates with a solid background in computer
science (demonstrated by a relevant MSc or PhD), interested in systems
for process support, such as workflow management, middleware, and other
process-aware information systems. Candidates with a background in
formal methods (e.g., Petri nets or process algebra) and experience in
process modeling techniques such as UML are especially welcomed.
Candidates from non-Dutch or non-English speaking countries should be
prepared to prove their English language skills. Moreover, candidates
are expected to have affinity for research with an industrial focus.

Employment:
- Full-time employment for four years.
- A salary according to the standard university regulations.
- Support for your personal development and career planning.
- Attractive secondary labor conditions.
- The selected candidates will be employed by TU/e, but a significant
part of the activities will take place at the Embedded Systems Institute
also located in Eindhoven.

Procedure:
Interested candidates are requested to send an application (both
motivational letter and curriculum vitae) by e-mail to office <at> esi.nl
with a reference to "Poseidon" and application number of the position(s)
you apply for indicated in the subject field (The application numbers
are: 32987 for the PhD position and 32988 for the Postdoc position).
More information about the Poseidon project may be obtained via the ESI
office, cf. office <at> esi.nl and
http://www.esi.nl/site/frames.html?/site/projects/poseidon.html. Please
check this site for details before submitting the application.

For more information about the two positions within AIS, please contact
prof.dr. Wil van der Aalst http://is.tm.tue.nl/staff/wvdaalst/ or Marc
Voorhoeve http://wwwis.win.tue.nl/~mvoorhoe/.