<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=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@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:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:1775200231;
mso-list-template-ids:-1350930504;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></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-GB" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><o:p> </o:p></p>
<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" width="0" style="width:361.5pt">
<tbody>
<tr>
<td width="482" valign="top" style="width:361.5pt;padding:0cm 0cm 0cm 0cm">
<p class="MsoNormal"><o:p> </o:p></p>
<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" width="0" style="width:360.0pt">
<tbody>
<tr style="height:304.9pt">
<td width="480" valign="top" style="width:360.0pt;padding:0cm 0cm 0cm 0cm;height:304.9pt">
<p class="MsoNormal"><a name="OLE_LINK11"></a><a name="OLE_LINK10"><span style="mso-bookmark:OLE_LINK11"><b>Umeċ University is dedicated to providing creative environments for learning and work. We offer a wide variety of courses and programmes, world leading
research, and excellent innovation and collaboration opportunities. More than 4300 employees and 32 000 students have already chosen Umeċ University. We welcome your application!<o:p></o:p></b></span></a></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK10"><span style="mso-bookmark:OLE_LINK11"><b><o:p> </o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK10"><span style="mso-bookmark:OLE_LINK11"><b>Two Wallenberg Artificial Intelligence Program PhD Student Positions<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK10"><span style="mso-bookmark:OLE_LINK11"><o:p> </o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK10"><span style="mso-bookmark:OLE_LINK11">The Department of Computing Science, is seeking outstanding candidates for two Wallenberg Autonomous Systems Program (WASP) PhD student positions in Computer Science.
<b><u>Deadline for application is November 10, 2018.</u></b></span></span><o:p></o:p></p>
<p class="MsoNormal"><a name="OLE_LINK9"></a><a name="OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><o:p> </o:p></b></span></a></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>Research topic 1</b>:
</span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><span lang="EN-US">Software Engineering Methods for Responsible Artificial Intelligence<br>
URL: </span></b></span></span><a href="https://umu.varbi.com/what:job/jobID:231010/"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><span lang="EN-US">https://umu.varbi.com/what:job/jobID:231010/</span></b></span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"></span></span></a><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><span lang="EN-US">
<br>
Reference number: AN 2.2.1-1620-17<o:p></o:p></span></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">In order to ensure Responsible Artificial Intelligence applications, we need to ensure that the development of AI systems is mindful of the consequences for individuals
and societies, by anticipating the consequences of the design choices, reflect upon the problem being solved by engaging all stakeholders, and take appropriate action to ensure social, legal and ethical acceptability of the system.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">Therefore, Responsible Design of Intelligent Systems concerns the methods and tools for design and development that ensure the analysis and evaluation of ethical,
legal and societal implications. <o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The aim of this project is to develop an engineering process model by which ethical considerations can be addressed throughout the various stages of software system
development. We will take as starting point Design for Values approaches and existing methods to identify and align the possibly conflicting values of all stakeholders. Application of these conceptual approaches to software engineering requires formal transformation
and verification of abstract values into concrete software design requirements and computational functionalities in ways that are transparent, open for inspection and appropriately describe the chain of stakeholder involvement and responsibility. This is an
important and urgent research area to make these approaches effective in designing responsible AI applications.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><o:p> </o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>Research topic 2</b>:
</span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><span lang="EN-US">Verification and control of intelligent autonomous systems
<br>
URL: </span></b></span></span><a href="https://umu.varbi.com/en/what:job/jobID:231037/"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><span lang="EN-US">https://umu.varbi.com/en/what:job/jobID:231037/</span></b></span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"></span></span></a><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><span lang="EN-US"><br>
Reference number: AN 2.2.1-1621-18<o:p></o:p></span></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">AI systems are increasingly expected to act autonomously. Using current Machine Learning approaches that focus on pattern matching and rely heavily on correlation
methods leads to impenetrable systems that are notoriously difficult to monitor (the so called black box algorithms). However, trust on autonomous systems depends on the possibility to verify and minimally control their behaviour. In particular, it becomes
increasingly important to formally ensure that the behaviour of an AI system lays within some given principles.
<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">An urgent research area in AI is therefore the development of theories and methods for control and verification of autonomous systems. This requires going beyond
traditional control system methods, for two main reasons. Firstly, an autonomous system will by definition operate in open environments, which cannot be fully described nor defined a priori, and therefore rules and constraints on behaviour will not be able
to fully regulate all possible situations encountered by the system. Secondly, opacity is inherent in open environments and cannot be avoided, e.g. because the systems are developed and operated by different entities, with possible proprietary issues. The
control of autonomous systems in open environments can best be done by compliance regulatory approaches, which are based on the observation of input and output behaviour rather than on the regimentation of internal processes. This is in fact what the legal
systems do in the human world.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">This research project will explore formal approaches to verification and control of autonomous systems that take into account the different values and requirements
of stakeholders, the dynamics of the environment and the inevitability of opaqueness of learning methods. The resulting solutions will enable monitoring and regulation of the input and output of an AI system, based on a set of ethical principles.
<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><o:p> </o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>-----<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>About the Department and the research group<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The Department of Computing Science is a dynamic environment with around 100 employees representing more than 20 countries worldwide. We conduct education and research
on a broad range of topics in Computing Science. <o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The
<b>Social and Ethical Artificial Intelligence group</b> conducts research into AI systems that meet their social responsibility, including the development of theories, models and tools for oversight, accountability and verification, and methods to analyse,
design, measure and audit social implications The group collaborates with several national and international research groups, and has active links with industry and policy organisations. Visit
</span></span><a href="http://people.cs.umu.se/virginia/for"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><span lang="EN-US">http://people.cs.umu.se/virginia/for</span></span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"></span></span></a><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><span lang="EN-US">
more information.<o:p></o:p></span></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><span lang="EN-US"><o:p> </o:p></span></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>WASP<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The project is part of the Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden’s largest ever individual research program, and a major national
initiative for strategically basic research, education and faculty recruitment. The program is initiated and generously funded by the Knut and Alice Wallenberg Foundation (KAW) with 2.6 billion SEK. In addition to this, the program receives support from collaborating
industry and from participating universities to form a total budget of 3.5 billion SEK. Major goals are more than 50 new professors and more than 300 new PhDs within AI, Autonomous Systems and Software. The vision of WASP is excellent research and competence
in artificial intelligence, autonomous systems and software for the benefit of Swedish industry. For more information about the research and other activities conducted within WASP please visit
</span></span><a href="http://wasp-sweden.org/"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">http://wasp-sweden.org/</span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"></span></span></a><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><u>.</u></span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><u><span lang="EN-US"><o:p></o:p></span></u></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The graduate school within WASP provides foundations, perspectives, and state-of-the-art knowledge in the different disciplines taught by leading researchers in the
field. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD students, researchers and industry.
It thus provides added value on top of the existing PhD programs at the partner universities, providing unique opportunities for students who are dedicated to achieving international research excellence with industrial relevance<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><o:p> </o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><br>
About the positions<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The successful applicant will be employed by Umeċ University and receive a competitive salary for a period of four years of full time PhD studies, provided that the
studies are progressing reasonably well. PhD students are typically offered the opportunity to gain teaching experience on suitable undergraduate courses. If so, the employment period is extended to cover the time spent on teaching (at most 20 %)..
<b>Expected starting date is 1st of January 2019 or as otherwise agreed. <o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><o:p> </o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>Admission requirements
<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The applicant is required to have completed a second- cycle level degree, or completed course requirements of at least 240 ECTS credits, of which at least 60 ECTS
credits are at second-cycle level, or have an equivalent education from overseas, or equivalent qualifications. To fulfil the specific entry requirements for doctoral studies in computing science, the applicant is required to have completed courses at second-cycle
level degree equivalent to 60 ECTS credits in computing science, or in a subject considered to be directly relevant for the specialisation in question.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">Candidates are expected to have very good knowledge in Artificial Intelligence and software engineering. Demonstrable knowledge of systems design and modelling, multi-agent
systems, or software development is a pre. In particular, candidates should be well acquainted with relevant engineering and algorithmic techniques which will be applied to develop design methodologies that account for social and ethical aspects of AI and
ensuring Responsible design and development. <o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">Since research is conducted in an international research environment, the ability to collaborate and contribute to teamwork, and a very good command of the English
language, both written and spoken, are key requirements.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><o:p> </o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b><o:p> </o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>Application<o:p></o:p></b></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">A complete application should contain the following documents:<b><o:p></o:p></b></span></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoNormal" style="mso-list:l0 level1 lfo1"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">A cover letter including a description of your research interests, your reasons to apply for the position, and your contact information
<o:p></o:p></span></span></li><li class="MsoNormal" style="mso-list:l0 level1 lfo1"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">A curriculum vitae</span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><span lang="NL"><o:p></o:p></span></span></span></li><li class="MsoNormal" style="mso-list:l0 level1 lfo1"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">If applicable, copy of completed BSc and/or MSc thesis and other original research publications<o:p></o:p></span></span></li><li class="MsoNormal" style="mso-list:l0 level1 lfo1"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">Copies of degree certificates, including documentation of completed academic courses and obtained grades<o:p></o:p></span></span></li><li class="MsoNormal" style="mso-list:l0 level1 lfo1"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">Contact information for two persons willing to act as references<o:p></o:p></span></span></li></ul>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The application must be written in English or Swedish, and attached documents must be written in or translated to English or Swedish. Documents must be in Word or
pdf format. Applications must be submitted electronically using the e-recruitment system of Umeċ University, and be received no later than
<b>November 10, 2018. Indicating the respective reference number</b>. <o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">The procedure for recruitment for the position is in accordance with the Higher Education Ordinance (chapter 12, 2§) and the decision regarding the position cannot
be appealed. The recruitment aims at a balanced gender distribution, and in particular women are encouraged to apply.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">For additional information, please contact Virginia Dignum
</span></span><a href="mailto:virginia@cs.umu.se"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">virginia@cs.umu.se</span></span><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"></span></span></a><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9">.<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="mso-bookmark:OLE_LINK8"><span style="mso-bookmark:OLE_LINK9"><b>We look forward to receiving your application!</b></span></span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal"><o:p></o:p></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>