
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">

<p></p>

<div>Dear colleague,</div>

<div><br>

</div>

<div>We are seeking candidates for a PhD position at University of Luxembourg in the SaToSS (Software and Trust of Software Systems) group led by Prof Sjouke Mauw in the area of formal methods for security.</div>

<div><br>

</div>

<div>Please see here the description and link for applications marked "PhD Studentship 2":</div>

<div><br>

</div>

<div>https://satoss.uni.lu/vacancies/</div>

<div><br>

</div>

<div>We encourage applicants with a background in types systems, logic, formal methods, as well as those enthusiastic about security and privacy.</div>

<div><br>

</div>

<div>Informal enquiries may be directed to the email addresses below, but the application must be online via the following link.</div>

<div><a href="https://urldefense.com/v3/__https://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=67638&nPostingTargetID=97599&mask=karriereseiten&lg=UK__;!!IBzWLUs!Futnb8Jjzm96LK-vbEV0JyHeQtfiGg7ZUETdLZaBcfqlEt9zz-v22_-bTUCdhSQ3nhUdquqRO-4OGA$" class="OWAAutoLink" id="LPlnk722021" previewremoved="true">https://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=67638&nPostingTargetID=97599&mask=karriereseiten&lg=UK</a><br>

</div>

<div><br>

</div>

<div>The candidate's letter of motivation, must be relevant to research in the SaToSS group: (See:

<a href="https://urldefense.com/v3/__https://satoss.uni.lu/publications/__;!!IBzWLUs!Futnb8Jjzm96LK-vbEV0JyHeQtfiGg7ZUETdLZaBcfqlEt9zz-v22_-bTUCdhSQ3nhUdqupladCUvA$" class="OWAAutoLink" id="LPlnk153563" previewremoved="true">

https://satoss.uni.lu/publications/</a>). The topic described is a suggestion.</div>

<div><br>

</div>

<div>Yours sincerely,</div>

<div><br>

</div>

<div>Prof. Sjouke Mauw sjouke.mauw@uni.lu</div>

<div><span style="font-size:12pt">Dr. Ross Horne ross.horne@uni.lu</span><br>

</div>

<div>

<div style="font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; font-size:16px">

Dr. Xihui Chen xihui.chen@uni.lu</div>

<div><br>

</div>

</div>

<div><br>

</div>

<div>========Description of PhD position=====================</div>

<div>The University of Luxembourg invites applications to the following vacancy in the Department of Computer Science (http://dcs.uni.lu) within its Faculty of Science, Technology and Medicine: https://satoss.uni.lu/vacancies/</div>

<div><br>

</div>

<div><br>

</div>

<div>Doctoral candidate (PhD student) in Computer Science (m/f)</div>

<div><br>

</div>

<div>Х Initial 36 months fixed-term contract, renewable for up to 48 months depending on thesis progress evaluation</div>

<div>Х Full-time employment (40h/week)</div>

<div>Х Student and employee status</div>

<div>Х Start date: as soon as possible</div>

<div>Х Topics in security, privacy and formal methods</div>

<div><br>

</div>

<div>Your Role</div>

<div><br>

</div>

<div>The candidateТs tasks include:</div>

<div>Х Assistance with teaching classes in security</div>

<div>Х Conducting research publishable in reputable international venues</div>

<div>Х Writing of progress reports and presentations towards thesis</div>

<div>Х Work constructively towards goals set by supervisors</div>

<div><br>

</div>

<div>The candidate should be prepared to engage in the project ``Semi-Controlled Distributed Account ManagementТТ described below. The project is within the Security and Trust of Software System (SaToSS) research group led by Prof Sjouke Mauw.</div>

<div><br>

</div>

<div>Description of proposed PhD thesis topic:</div>

<div><br>

</div>

<div>The use of a password manager is a current best practice that many users and organisations follow. Password managers facilitate the generation and maintenance of unique, complex and random passwords and thus help prevent account compromise due to weak

 or reused passwords. However, with the rising number of apps, online accounts, smart devices and authentication methods, we are facing many new threats that are not related to passwords. For example, we must now also worry about misconfigured apps, third-party

 access permissions to accounts, vulnerabilities of devices, and security incidents at service providers.</div>

<div><br>

</div>

<div>Moreover, our apps, accounts, and devices are interconnected: An email app on a smartphone provides access to the email account to anyone who can unlock the smartphone. If, say, the smartphone userТs groceries account supports password resetting by email,

 then the userТs groceries account, too, can be accessed by anyone who can unlock the smartphone. There are many other such connections due to multi-factor, single sign-on, and other authentication methods. We refer to this collection of apps, devices, accounts,

 and authentication methods as an account ecosystem.</div>

<div><br>

</div>

<div>The interconnected nature of items in an account ecosystem means that for any security incident involving one item, there are potential ramifications for every other item in an account ecosystem. In our user study of 20 young to middle aged adults, they

 reported on average 43 items in their account ecosystems that were in active use.  The complexity of account ecosystems is expected to further increase significantly with new services, such as Open Banking, connecting our existing accounts with new third-party

 account services, and new items, such as wearable devices, smart home appliances, car infotainment systems connecting to our existing devices such as smartphones, home routers, and introducing new apps and cloud services to control them.</div>

<div><br>

</div>

<div>Yet, there is no tool that helps managing our account ecosystems and no simple way to assess the risks to the integrity and availability of items in our account ecosystem. Indeed, it is precisely the lack of such a tool at the larger scale of an organisationТs

 account ecosystem that leaves many institutions blind to the possible attack paths that ransomware attacks have exploited.</div>

<div><br>

</div>

<div><br>

</div>

<div>Objectives</div>

<div><br>

</div>

<div>In this proposed PhD thesis topic, we aim to develop the first account ecosystem management and security analysis tool. To achieve this, we must solve foundational research questions and develop efficient algorithms as outlined below. The developed algorithms

 will be implemented into a fully functional prototype.</div>

<div><br>

</div>

<div><br>

</div>

<div>Your Profile</div>

<div><br>

</div>

<div>The candidate must have a master degree and outstanding qualifications in computer science, mathematics or a related discipline.</div>

<div><br>

</div>

<div>The candidate should have excellent spoken and written communication skills. The candidate should be prepared to integrate into the SaToSS research group, led by Prof. Sjouke Mauw, which maintains excellent communication between all members.</div>

<div><br>

</div>

<div><br>

</div>

<div>We offer</div>

<div>Х A large and dynamic research group with an exciting international environment</div>

<div>Х Training in scientific and transferable skills; participation in schools, conferences and workshops.</div>

<div>Х The University of Luxembourg offers highly competitive salaries and is an equal opportunity employer</div>

<div><br>

</div>

<div><br>

</div>

<div>Further Information</div>

<div>Applications Чwritten in EnglishЧ should be submitted online and include:</div>

<div><br>

</div>

<div>Х Detailed curriculum vitae, including your contact address, work experience and publications</div>

<div>Х Letter of motivation. *This is essential and must clearly state how the experience and interests of the candidate are related to the PhD topic advertised. Generic applications that are not tailored to the group and topic will not be considered* </div>

<div>Х Degree certificates and transcript of all grades from university-level courses taken</div>

<div>Х Contact information for 2-3 referees</div>

<div><br>

</div>

<div>Deadline for application:  </div>

<div><br>

</div>

<div>Early submission is highly encouraged as the applications are processed in order of reception. Only formal applications via the link provided will be considered.</div>

<div><a href="https://urldefense.com/v3/__https://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=67638&nPostingTargetID=97599&mask=karriereseiten&lg=UK__;!!IBzWLUs!Futnb8Jjzm96LK-vbEV0JyHeQtfiGg7ZUETdLZaBcfqlEt9zz-v22_-bTUCdhSQ3nhUdquqRO-4OGA$" class="OWAAutoLink" id="LPlnk801671" previewremoved="true">https://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=67638&nPostingTargetID=97599&mask=karriereseiten&lg=UK</a><br>

</div>

<div>However, we encourage applicants to contact members research group with questions about possible research topics.</div>

<br>

<p></p>

</div>

</body>

</html>