[TYPES] Research Assistant Position in Model Driven Engineering for Reliable Distributed Systems, Luxembourg

[Nicolas Guelfi]

Dear colleague,

Please find below a job offer to distribute to any interested person you 
might know.

thanks for your collaboration,


Nicolas Guelfi


************************************************************************************************************************************
************************************************************************************************************************************
[With our excuses for multiple copies.]

Senior Research Associate Job Opening: Model Driven Engineering for 
Reliable Distributed Systems

The Software Engineering Competence Center (http://se2c.uni.lu) of the 
University of Luxembourg is offering a position for a research associate to work on its R&D projects.

*** General Information
Fields	Model-based Automated Software Engineering with Formal Methods, 
critical systems, verification and validation
Reference	SE2C200401
Publication date	January 1st, 2005
Closing date	Fébruary 14th, 2005
Location	Luxembourg
Institution	University of Luxembourg
Role or Area	R&D in Software Engineering, Formal methods
Term type	Fixed term contract
Annual Salary	From 50 000 to 55 000 euros Per Annum, will be dependent on experience and qualifications. We also offer a generous holiday allowance and a pleasant working environment. It must be also noticed that Luxembourg 
has created a new university in which there will be many development 
opportunities.
Starting date	ASAP
Duration	24 months (can be followed by a 36 months contract)

*** Description
The primary role of this position will entail involvement in:
"	Developing new R&D projects
"	Establishing and developing industrial relationships that are of interest for the corresponding R&D projects
"	Participating in dissemination activities, publication in international conferences and journals
"	Participating in technology transfer to Luxembourgian companies
"	Participating in the administrative management of research projects.

The successful candidate will work with a team of specialists in software engineering in the following fields: design, verification and validation of 
critical systems and e-business transactions, Model Driven Engineering, 
Architectural Frameworks for distributed systems. The starting 
responsibilities will be:
"	Defining and assisting the development of a formal language for 
specifying fault-tolerance and exception handling properties at 
application's architectural design level
"	Defining and assisting the development of a set of generic 
transformations to generate running Java applications by formal refinement of architecture models

The position will involve some travel to allow work with partner 
organizations worldwide.

*** Ideal Profile
"	PhD in Computer Science with specialization in Software Engineering for Distributed Systems
"	Academic or industrial experience in software and systems engineering, 
and definition and deployment of development methodologies.
"	Expert knowledge of UML (UML Profiles, MDE/MDA) and formal methods for 
Software Engineering
"	Fluent in English and French. German and Luxembourgish will be a plus
"	Passport of a country belonging to the European Community.


*** Application
Please send your CV + introduction letter by email at: Nicolas.Guelfi at uni.lu

*** Further Information
Prof. Dr. Nicolas Guelfi
University of Luxembourg
Faculty of Sciences, Technology and Communication
Software Engineering Competence Center (SE2C)
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg-Kirchberg
LUXEMBOURG
Office: +352 420 101 251
Secretary: +352 420 101 245
fax : +352 43 21 24

Projects :

CORRECT : http://hera.ist.lu/tiki-index.php?page=CorrectOverview
FIDJI : http://hera.ist.lu/tiki-index.php?page=FidjiOverview
EFFICIENT : http://hera.ist.lu/tiki-index.php?page=EfficientOverview 



**********************************************************************
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.

This footnote also confirms that this email message has been checked for the presence of computer viruses.

**********************************************************************