8 Jun 2007 16:59
PhD and Postdoc positions on Process Integration and Workflow Management using Formal Methods at TU/e - Eindhoven
Aalst, W.M.P. van der <W.M.P.v.d.Aalst <at> tm.tue.nl>
2007-06-08 14:59:56 GMT
2007-06-08 14:59:56 GMT
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/.