<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal">****2 Ph.D. Positions in Computer Security****<o:p></o:p></p>
<p class="MsoNormal">---------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The University of Luxembourg has two open Ph.D. positions at its<o:p></o:p></p>
<p class="MsoNormal">Interdisciplinary Centre for Security, Reliability and Trust (SnT)<o:p></o:p></p>
<p class="MsoNormal">(<a href="http://wwwen.uni.lu/snt">http://wwwen.uni.lu/snt</a>). We are seeking Ph.D. candidates to<o:p></o:p></p>
<p class="MsoNormal">participate in the activities of the SaToSS<o:p></o:p></p>
<p class="MsoNormal">(<a href="http://satoss.uni.lu/">http://satoss.uni.lu/</a>) and of the ApSIA (<a href="http://apsia.gforge.uni.lu/">http://apsia.gforge.uni.lu/</a>)<o:p></o:p></p>
<p class="MsoNormal">research groups.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Project description:<o:p></o:p></p>
<p class="MsoNormal">--------------------------<o:p></o:p></p>
<p class="MsoNormal">The main objective of the Ph.D. project is to develop a formal<o:p></o:p></p>
<p class="MsoNormal">framework supporting modeling and analysis of socio-technical<o:p></o:p></p>
<p class="MsoNormal">components of information systems. We aim to develop strategies and<o:p></o:p></p>
<p class="MsoNormal">tools to detect and prevent attacks involving human, physical and<o:p></o:p></p>
<p class="MsoNormal">digital elements. One of the goals is to extend current methodology<o:p></o:p></p>
<p class="MsoNormal">for security protocol analysis, by taking human behavior and<o:p></o:p></p>
<p class="MsoNormal">properties of physical objects into account. This goal includes a<o:p></o:p></p>
<p class="MsoNormal">necessity of defining appropriate adversary models and identifying the<o:p></o:p></p>
<p class="MsoNormal">security properties relevant in a socio-technical context. <o:p>
</o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Research environment:<o:p></o:p></p>
<p class="MsoNormal">------------------------------<o:p></o:p></p>
<p class="MsoNormal">Both Ph.D. students will collaborate with the research groups SaToSS
<o:p></o:p></p>
<p class="MsoNormal">(Security and Trust of Software Systems) led by Prof. Dr. S. Mauw and
<o:p></o:p></p>
<p class="MsoNormal">APSIA (Applied Security and Information Assurance) led by Prof. Dr.
<o:p></o:p></p>
<p class="MsoNormal">P.Y.A. Ryan. This position is part of a national research project<o:p></o:p></p>
<p class="MsoNormal">"Socio-Technical Analysis of Security and Trust" funded by the<o:p></o:p></p>
<p class="MsoNormal">National Research Fund in Luxembourg. The University of Luxembourg<o:p></o:p></p>
<p class="MsoNormal">offers a three years appointment (extension up to 4 years in total is<o:p></o:p></p>
<p class="MsoNormal">possible) in an international and multicultural environment. The<o:p></o:p></p>
<p class="MsoNormal">University is an equal opportunity employer. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Applicant's profile:<o:p></o:p></p>
<p class="MsoNormal">------------------------<o:p></o:p></p>
<p class="MsoNormal">* MSc in Computer Science or Mathematics<o:p></o:p></p>
<p class="MsoNormal">* A proven interest in security<o:p></o:p></p>
<p class="MsoNormal">* Strong background in formal methods or logics<o:p></o:p></p>
<p class="MsoNormal">* Good written and oral English skills<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Start date:<o:p></o:p></p>
<p class="MsoNormal">--------------<o:p></o:p></p>
<p class="MsoNormal">As soon as possible<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Applications:<o:p></o:p></p>
<p class="MsoNormal">-----------------<o:p></o:p></p>
<p class="MsoNormal">Applications, written in English, should be submitted electronically<o:p></o:p></p>
<p class="MsoNormal">via the University of Luxembourg's recruitment portal<o:p></o:p></p>
<p class="MsoNormal"><a href="http://emea3.mrted.ly/2oja">http://emea3.mrted.ly/2oja</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Applications should include:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Curriculum Vitae (including your contact address, work experience<o:p></o:p></p>
<p class="MsoNormal"> and list of publications)<o:p></o:p></p>
<p class="MsoNormal">* Cover letter explaining your motivation<o:p></o:p></p>
<p class="MsoNormal">* Transcript of all courses and grades for your Bachelor and Master<o:p></o:p></p>
<p class="MsoNormal"> program<o:p></o:p></p>
<p class="MsoNormal">* A short description of your Master's work (max 1 page)<o:p></o:p></p>
<p class="MsoNormal">* Contact information for at least one referee<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Deadline for applications:<o:p></o:p></p>
<p class="MsoNormal">----------------------------------<o:p></o:p></p>
<p class="MsoNormal">October 15th, 2012<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">For further inquiries please contact:<o:p></o:p></p>
<p class="MsoNormal">-----------------------------------------------<o:p></o:p></p>
<p class="MsoNormal">Prof. Dr. Sjouke Mauw (<a href="mailto:sjouke.mauw@uni.lu">sjouke.mauw@uni.lu</a>),<o:p></o:p></p>
<p class="MsoNormal">Prof. Dr. Peter Ryan (<a href="mailto:peter.ryan@uni.lu">peter.ryan@uni.lu</a>),<o:p></o:p></p>
<p class="MsoNormal"><span lang="PL">Dr. Barbara Kordy (<a href="mailto:barbara.kordy@uni.lu">barbara.kordy@uni.lu</a>), or<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="FR-CH">Dr. Gabriele Lenzini (<a href="mailto:gabriele.lenzini@uni.lu">gabriele.lenzini@uni.lu</a>)<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>