2 open positions for PhD. Candidates in the context of a FNR (Luxembourg) Funded Project<br><br>The successful candidate is intended to conduct research with the aim of obtaining a PhD. degree in computer science. The context is a 3 year research project on building, validation and verification of resilient systems. The detailed descriptions of the open positions are at:<br>

<br><a href="http://wiki.lassy.uni.lu/Internships/LASSY_MOVERE_PHD1" target="_blank">http://wiki.lassy.uni.lu/Internships/LASSY_MOVERE_PHD1</a><br><a href="http://wiki.lassy.uni.lu/Internships/LASSY_MOVERE_PHD2" target="_blank">http://wiki.lassy.uni.lu/Internships/LASSY_MOVERE_PHD2</a><br>

<br>Mission<br>    • Contribute for the overall successful development of the project<br>    • Develop research with the aim of writing a PhD. thesis<br>Profile:<br>    • Bachelor or MSc. in Computer Science<br>    • Background in language engineering or model checking or testing<br>

    • Good knowledge and interest in formal methods<br>    • Good programming skills<br><br>Offer<br>    • Member of a dynamic research team<br>    • International environment<br><br>Candidates should send their application until February 28th, 2010<br>

including the following documents<br><br>    • letter of motivation<br>    • curriculum vitae<br>    • copies of diplomas<br><br>to:<br><br>Dr. Levi Lucio<br>University of the Luxembourg<br>E.Mail : <a href="mailto:levi.lucio@di.fct.unl.pt" target="_blank">levi.lucio@di.fct.unl.pt</a><br>