The Architecture of Information Systems (AIS) group of the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) is looking for
**** one PhD student working on Verifying Process Models with Data and Resources ****
The position is for 39 months and funded by NWO.
Summary:
========
Much research related to the control-flow verification of business processes has been conducted during the last twenty years. Still, the development of applicable verification techniques that incorporate the important data and resource perspective and the interplay between multiple process instances is an ongoing challenge. In this project, we approach this challenge by combining theoretical research and applicability in industrial settings. To this end, we investigate a theoretical foundation of process verification at the level of process models, thereby extending existing techniques and developing novel techniques for the verification of business processes extended with data and resources. Beside verification techniques, we also focus on refinement rules and the use of data patterns and resource patterns. We consider models of different types of processes, including workflows, services, and artifact-centric processes. We implement and integrate the theoretical results int!
o service technology tools available at <http://service-technology.org/tools> and embed it in other tools, such as ProM and BPM/SOA platforms such that they can actually be applied to verify industrial processes.
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 Business Process Modeling (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-Universitaet zu Berlin and Universitaet 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 theoretical background in Computer Science and interested in systems for process support (demonstrated by a relevant Master's degree);
- knowledge of process modeling and of formal methods (i.e., at least one of the fields automata theory, process algebra, computer-aided verification, or Petri nets);
- programming skills in C, C++, or Java;
- good communicative skills in English, both in speaking and in writing; and
- candidates from non-Dutch or non-English speaking countries should be prepared to prove their English language skills.
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 Mrs. Ine van der Ligt (wsinfsys@tue.nl) with the subject field "Verification 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 September 30th, 2011.
===================================================
Dr. Muhammad Ahtisham Aslam
Assistant Professor
Department of Information Systems
Faculty of Computing and Informatin Technology
King Abdul Aziz University
Jeddah, Saudi Arabia
Phone: 00966-563-321977
http://bis.informatik.uni-leipzig.de/AslamMuhammadAhtisham
__._,_.___
.
__,_._,___
No comments:
Post a Comment