[isabelle] Postdoc position at TU Eindhoven

The Eindhoven University of Technology invites applications for a postdoctoral position funded by the EU FP7 project “EURO-MILS: Secure European Virtualisation for Trustworthy Applications in Critical Domains” (www.euromils.eu<http://www.euromils.eu>). The position is for an initial duration of 14 months. The applicant is expected to start any time from now.

The deadline for applications is July 1st. Applications will be considered until the position is filled.

Project Goals and Tasks

Ubiquitous, highly critical systems go online and create a domain of mixed criticality’s, where security and safety requirements of different levels mix. The main goal of the project is to provide trustworthiness in two critical application domains: automotive and avionics. The project’s cornerstone is MILS (Multiple Independent Levels of Security), a high-assurance security architecture supporting the coexistence of untrusted and trusted components. For the first time in Europe, EURO-MILS does a complete “Common Criteria” security evaluation of a MILS system to its highest levels of assurance, including formal verification engineering. The project brings together eight leading industrial companies, a  research company, two research oriented SMEs, and three universities from five European countries to form a complete chain stretching from basic research, via applied research, up to end-user oriented service providers.

The tasks of the successful applicant will be concerned with formal modelling and verification of an industrial separation kernel, formal modelling and verification of a generic MILS architecture, and the formulation of formal results for Common Criteria evaluation. Formal models and proofs are developed using the Isabelle/HOL theorem proving environment.


We are looking for candidates with a PhD degree in computer science, mathematics, or a closely related field. A solid theoretical background with the desire and skill to let the research have practical impact. Knowledge about interactive theorem proving techniques or the Isabelle/HOL system are a real plus. The working language is English. Applicants are expected to have good communication skills and the ability to work in teams.

Appointment and Salary

We offer a challenging job in a dynamic and ambitious university and a stimulation research environment. The Eindhoven University of Technology also provides an extensive package of fringe benefits (e.g. excellent technical infrastructure, the possibility of child care and excellent sports facilities).

The basic salary is 2916 Euro’s per months, with an 8% bonus for vacations and a 13th month. This amounts to about 40.750 Euro’s per year. Applicants coming from outside the Netherlands may qualify for a special 30% rule, where 30% of the growth income is tax free. Salary may be adjusted depending on your experience.


The research will be conducted in the research group Formal System Analysis of the Mathematics and Computer Science department. The FSA group is concerned with modelling and formally verifying system behaviour, either by employing process equivalences, modal formulas or behavioural reduction and visual inspection. Lately, a lot of interest goes into parameterized boolean equation systems, especially employing the power of SMT solvers and other symbolic reduction techniques.


For information about this position, please contact Julien Schmaltz per email (j.schmaltz at tue.nl<mailto:j.schmaltz at tue.nl>) or per phone +31 40 247 8691.


The application should consist of a cover letter explaining your motivation and qualifications for this position, a detailed Curriculum Vitae including a list of publications, and contact information of two references. Please send your application before July 1st 2014 to j.schmaltz at tue.nl<mailto:j.schmaltz at tue.nl>.

Dr. Julien Schmaltz
Eindhoven University of Technology
Department of Computer Science
Model Driven Software Engineering
Formal System Analysis
Room MF7.071b
Postbus 513 5600 MB Eindhoven
j.schmaltz at tue.nl<mailto:j.schmaltz at tue.nl>
Tel.: +31 40 247 8691
Fax: +31 24 246 8508

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.