[TYPES/announce] Post-Doctoral Position in Formal Approaches to Model-Driven Engineering

[KELSEN Pierre]

Post-Doctoral Position in Formal Approaches to  Model-Driven Engineering

The Laboratory for Advanced Software Systems of the University of Luxembourg (lassy.uni.lu) is pleased to announce the opening of a post-doctoral position in the area of model-driven engineering. The position is for three years. Gross annual salary is around 60K Euros (depending on age). Application deadline is April 30. The position will commence on July 1 or at earliest convenience.

The successful applicant will study fundamental research questions in the University-funded research project MEDAL. Within the context of model-driven software development this project studies a model-centric approach that aims at developing models of a system from which the full application code can be generated. The approach is based on a newly developed declarative language for specifying the dynamic behaviour of a system. The main objectives of  the MEDAL research project are the mathematical study of platform-independent models and platform models and the use of formal methods for testing and/or verifying abstract models.

The candidate must have a Ph.D. in computer science, a very strong mathematical background and knowledge in one or more of the following areas:
- formal methods (also lightweight formal methods such as Alloy)
- formal verification and formal testing
- model semantics
- type checking

Additionally knowledge in one of the following areas is helpful but not required:
- domain-specific languages
- aspect-oriented modeling
- graph grammars/ graph transformation techniques

The Laboratory for Advanced Software Systems is one of four labs in the fast-growing Computer Science and Commmunications research unit (csc.uni.lu). The lab is situated in the capital city of Luxembourg, one of the most vibrant and multi-cultural cities in Europe.

The candidate should send her/his application (and questions) BY APRIL 30 2008 by e-mail to:
pierre DOT kelsen AT uni DOT lu
or by post mail to:
Professor Pierre Kelsen
Computer Science and Communications Research Unit
University of Luxembourg
6, rue Coudenhove-Kalergi
L-1359 Luxembourg

The application should contain: a letter of motivation, a CV and a detailed list of publications.