[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 
- 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.

Reply via email to