OBSOLETE: The vacancies below are no longer available:
This is a cooperation between one PhD student at the Systems Engineering (SE) Group, Department of Mechanical Engineering (ME), and one PhD student at the Formal Methods (FM) Group, Department of Mathematics and Computer Science (CS).
The Systems Engineering Group aims to develop quantitative methods for the analysis, design and implementation of (embedded) mechanical engineering systems exhibiting concurrent behavior, with particular focus on manufacturing machines and networks. The objectives are to generate theory, to develop techniques, to build computational tools, and to apply these in selected cases from industry.
The Formal Methods Group aims at a systematic and scientific study of issues in computer science, based on solid mathematical principles. The research area of Formal Methods develops the mathematics of computer science. We want to apply our theory in the model-based engineering of software-intensive systems, and in particular in the specification and verification of such systems.
Cooperation between the two groups focuses among others on the development of Chi, a formal language for the modeling, simulation and verification of hybrid and embedded systems. The hybrid Chi formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a sound mathematical semantics.
Project The TRANSFORMAL project focuses on the development of transformation, refinement and abstraction features for the Chi language, with an emphasis on model based design of embedded systems at different levels of abstraction. Mathematical correctness and industrial applicability will both play an important role in this development.
Work The two PhD-candidates we seek will work together on the development of refinement and abstraction techniques for model based design. The work of the candidate for the FM Group will have an emphasis on the formal correctness of the developed techniques (developing the techniques right), while the work of the candidate for the SE Group will have an emphasis on developing and applying the techniques in close cooperation with industry, based on modeling, simulation and control of actual industrial systems (developing the right techniques).
We are looking for two candidates who meet the following requirements:
Appointment and Salary
If you are interested in this PhD position, please send an email containing a detailed curriculum vitae, an explanation of your interest in the proposed research topic, a publication list, your course programme and corresponding grades, references and all other information that might be relevant to your application. Please mention TRANSFORMAL and the vacancy number V35.397 and/or V32.019 in the subject. The email addresses for applications (and for additional information) are firstname.lastname@example.org (dr.ir. D.A. van Beek, System Engineering), and email@example.com (dr.ir. P.J.L. Cuijpers, Formal Methods).