<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 15 (filtered medium)">
<style><!--
/* Font Definitions */
@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:12.0pt;
        font-family:"Times New Roman",serif;}
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;}
p
        {mso-style-priority:99;
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
span.EmailStyle19
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
span.EmailStyle20
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
span.EmailStyle21
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:70.85pt 2.0cm 2.0cm 2.0cm;}
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="IT" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p style="margin-bottom:7.5pt;background:white"><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Calibri&quot;,sans-serif;color:black">The Software Engineering Laboratory of Innopolis University has several open positions for PhD students and postdocs in
 areas of program verification, software architecture, concurrency and other advanced software engineering topics.</span><span lang="EN-US" style="font-family:&quot;Calibri&quot;,sans-serif;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:7.5pt;background:white"><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Calibri&quot;,sans-serif;color:black">Innopolis, based in Kazan, Russia, is a new, well-funded university founded on the international model and aiming to reach
 quickly the highest international ranks. The Software Engineering Laboratory is headed by Prof. Bertrand Meyer from ETH Zurich, a leading expert in software engineering and recipient of many awards, and Prof. Manuel Mazzara, formerly of the University of Newcastle
 and Politecnico di Milano. Scholarships and benefits are on a par with the most attractive international offerings. Numerous opportunities are available for collaboration and exchanges with ETH, Politecnico di Milano and other universities including MIPT (Phystech)
 in Moscow. We are accepting applications from enthusiastic students with a master's or equivalent, an excellent academic record, and a passion for leading-edge research in software engineering. Both theoretical computer science knowledge and in-depth programming
 experience are useful. Positions are open to applicants from any country; Knowledge of Russian is a plus but not required.</span><span lang="EN-US" style="font-family:&quot;Calibri&quot;,sans-serif;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:7.5pt;background:white"><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Calibri&quot;,sans-serif;color:black">The working Language of the Laboratory is English.</span><span lang="EN-US" style="font-family:&quot;Calibri&quot;,sans-serif;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:7.5pt;background:white"><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Calibri&quot;,sans-serif;color:black">Please send a CV, grade transcript, motivation letter and any other document (PDF or plain text only, plain attachments
 without zip etc.) to Manuel Mazzara (</span><a href="mailto:m.mazzara@innopolis.ru"><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Calibri&quot;,sans-serif">m.mazzara@innopolis.ru</span></a><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Calibri&quot;,sans-serif;color:black">)</span><span lang="EN-US" style="font-family:&quot;Calibri&quot;,sans-serif;color:black">.<o:p></o:p></span></p>
</div>
</body>
</html>