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