<html>
<body>
The University of Luxembourg is opening a position for a <br>
PhD STUDENT in Computer Science (M/F)<br>
2-years contract, renewable, full-time (40 h/week).<br><br>
<u>Subject</u>: Resilience policy languages for dependable product
lines of distributed systems : syntax, semantics and execution
framework.<br>
<u>Start date: </u>February/March 2008<br>
<u>Activities </u>:<br>
He/she will complete his scientific and pedagogical education with the
aim to obtain a PhD in Computer Sciences<br>
The candidate will have to assist the Professor in teaching in courses on
Software engineering (development methodologies, verification and
validation, etc)<br>
He will follow an incremental development process of research activities
including sate of the art of the problem domain, definition of the
sub-problems to solve, resolution of the sub-problems and verification
and validation<br>
Requirements: <br>
-<x-tab> </x-tab>M.Sc in
Computer Sciences <br>
-<x-tab> </x-tab>Dependability
and more precisely fault-tolerance<br>
-<x-tab> </x-tab>Development
framework for fault-tolerance<br>
-<x-tab> </x-tab>Java
programming of distributed systems<br>
-<x-tab> </x-tab>Mobile device
programming<br>
-<x-tab> </x-tab>Formal
methods<br>
-<x-tab> </x-tab>Capacity to
write scientific papers<br>
-<x-tab> </x-tab>Knowledge of
transactional, advanced transactional systems and coordinated atomic
actions will be a plus.<br>
-<x-tab> </x-tab>Flexible,
open-minded, creative, autonomous and rigorous, be able to work in an
international environment<br><br>
Applications are to be <b><u>sent no later than December 24th 2007
</u></b>and should include a letter of motivation, a complete CV and a
copy of the M. Sc. Diploma including a transcript of courses taken (with
grades).<br>
These are to be submitted by e-mail <u>to Prof. Nicolas Guelfi
(nicolas.guelfi@uni.lu).<br>
</u>The University of Luxembourg is an equal opportunity
employer.<br><br>
<br>
<x-sigsep><p></x-sigsep>
****************///////**************** <br>
Prof. Dr. Nicolas Guelfi<br><br>
University of Luxembourg<br>
Faculty of Sciences, Technology and Communication<br>
LASSY - Laboratory for Advanced Software Systems<br>
6 , rue Richard Coudenhove-Kalergi<br>
L-1359 Luxembourg-Kirchberg<br>
LUXEMBOURG<br><br>
Office: +352 46 66 44 52 51<br>
Secretary: +352 46 66 44 54 14 (Daniele Flammang or Ragga
Eyjolfsdottir)<br><br>
fax : +352 43 21 24<br><br>
<font color="#008000">prof. email</font> : Nicolas.Guelfi 'at'
uni.lu<br><br>
home page :
<a href="http://wwwen.uni.lu/recherche/fstc/laboratory_of_advanced_software_systems_lassy/members/nicolas_guelfi" eudora="autourl">
http://wwwen.uni.lu/recherche/fstc/laboratory_of_advanced_software_systems_lassy/members/nicolas_guelfi<br>
<br>
</a>the LASSY :
<a href="http://lassy.uni.lu/" eudora="autourl">http://lassy.uni.lu/<br>
</a>****************\\\\\\\**************** <br>
</body>
</html>