[ecoop-info] Scientific Collaborator Position at the University of Luxembourg on Security Testing of Resilient Systems

[PERROUIN Gilles]

The University of Luxembourg is looking for its Faculty of Science, Technology and Communication for a:

Scientific Collaborator (M/F)
-----------------------------
Project SETER: Security Testing of Resilient Systems
(20-24 months contract depending on arrival date), full-time (40h/week). Depending on the projects, this position is renewable one and may hence be extended up to five years overall.

Start date : From May to September 2010

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 successful candidate will work in the context of the SETER project (Security Testing of Resilient System). She/he will be in charge of the management of the project and she/he will be responsible for the scientific results of SETER.
The position will involve some travel to allow work with partner organizations worldwide.


Overview of the SETER Project:
-------------------------------
Duration: 3 years (May 2009 to April 2012)
The SETER project is funded by the Luxembourgish National Research Found. The project is entitled "Security Testing of Resilient Systems". The main objective of the project is to propose new security testing approaches for resilient systems (i.e. open distributed systems that have capabilities to dynamically adapt, in a predictable way, to unexpected and harmful events, including faults and errors) the earlier possible during the software development lifecycle to propose more secure and more reliable systems. 
SETER Web Page: http://wiki.lassy.uni.lu/Projects/SETER


Tasks:
------

This position involves acting both as a project manager and a researcher on the project. 

On the management side, tasks include:
- Perform some daily administrative/accounting tasks related to SETER and associated projects
- Maintain consistency of all tasks with respect to the overall objectives of the project
- Ensure the timely production and delivery of all deliverables of the project
- Organize meetings and internal workshops

On the scientific side, tasks include:
-  Perform state of the art focusing on resilient systems and security testing based on existing knowledge in the team
-  Providing a specification language for resilient systems and security properties amenable to testing and analysis
-  Participate to the joint supervision of PhD students or master student in the context of the project
-  Participate in dissemination activities, publications in international conferences (such as ICST/ISSTA, MODELS, ...) and journals
-  Integrate scientific results in the context of other projects in the team and in particular the MOVERE project which aims at validating resilient systems using model-checking techniques

Profile :
----------
* PhD in Computer Science with specialization in Software Engineering, Dependability or Software Testing
* Expert in the following areas: Resilient and Dependable Systems modeling, model-based testing and security. 
* A strong background in model-driven engineering (Model Analysis and Verification, UML and UML Profiles, Domain Specific Languages (DSL), Metamodelling, model transformation and composition (weaving) techniques and tools (EMF, Kermeta, …))
* Background  in formal methods for Software Engineering
* Knowledgeable in Software Product Lines
* An excellent record of publications
* Fluent in English and French. German and Luxembourgish will be a plus

For further information please address yourself to Prof. Dr. Nicolas Guelfi :
nicolas.guelfi at uni.lu or Dr. Gilles Perrouin: gilles.perrouin at uni.lu


The interested candidate should send before March 22d their application (letter of motivation, detailed CV, copy of diploma) to:
by email at Nicolas.guelfi at uni.lu 
or mail at:
Université du Luxembourg-Campus Kirchberg 
– FSTC- A l’attention de Monsieur N. Guelfi
6, rue R. Coudenhove Kalergi 
L -1359 Luxembourg
Luxembourg

The University offers very competitive salaries.
The University of Luxembourg is an equal opportunity employer.

---------------------------------------------------------------
Dr. Gilles Perrouin, Scientific Collaborator, LASSY
FSTC / University of Luxembourg, Campus Kirchberg
6 rue Richard Coudenhove-Kalergi, L-1359 Luxembourg Kirchberg,
Luxembourg
Phone: +3524666445467