[TYPES/announce] Postdoc Position in Declarative Executable Modeling

[Pierre Kelsen]

The Computer Science and Communication group within  the Faculty of
Sciences, Technology and Communication of the University of Luxembourg
has an opening for a research assistant.

RESEARCH ASSISTANT IN COMPUTER SCIENCE
- 2 year contract starting on July 1 (or earliest convenience), renewable
- full-time position
- salary: approx. 60K Euro/ year (depending on age)

The candidate will actively participate in the research project DASCOM
(Declarative Approaches to Software Complexity). In the context of
developing practical approaches to dealing with software complexity,
this project studies a class of declarative approaches that satisfy
three criteria: simplicity: the description language should be
sufficiently simple so as to ease the practical adoption; graphical
notation: graphical models are easier to comprehend and manipulate in
general than purely textual ones; executable models: the models produced
should not simply be a high-level description of lower level artifacts
but rather allow actual simulation and execution. A significant part of
the work will consist in analyzing and extending the recently developed
EP-model that presents the above features (see: http://lassy.uni.lu/demos).


Requirements:

- Ph.D. in Computer Science
- publications in the field of software engineering or related field
- a strong theoretical background in a relevant field, eg, semantics,
formal methods, model transformations ...
- a good knowledge of the object-oriented and functional paradigms
(knowledge of Java would be helpful)
- a willingness to carry out applied fundamental research with the
overall goal of making real and measurable contributions to the discipline
of software development

Context:

The research will be carried out in the context of the Laboratory for the
Advanced Software Systems (http://lassy.uni.lu), one of three labs within
the Computer Science and Communication Group (http://wiki.uni.lu/csc).

Application:

Please send your full application (cover letter, curriculum vitae,
list of publications, name of two references) before May 30th, 2006 to:

Professor Pierre Kelsen
University of Luxembourg
Faculty of Sciences, Technology and Communication
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg-Kirchberg
LUXEMBOURG

email : pierre.kelsen 'at' uni.lu

Office: +352 46 66 44 -5284
fax : +352 43 21 24