<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div apple-content-edited="true">
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; ">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div>
<div style="font-size: 12px; ">
<div style="font-size: medium; ">DTU Applied Mathematics and Computer Science has a new opening for associate and/or assistant professors with a focus on the modelling, analysis and realisation of systems using language-based techniques and tools – in particular,
static analysis (including abstract interpretation and type systems) and (qualitative and quantitative) model checking.</div>
<div style="font-size: medium; "><br>
</div>
<div style="font-size: medium; ">The successful candidate(s) will be part of an international research team focusing on a broad portfolio of research projects using formal methods for modeling and analysis of systems (MT-LAB, IDEA4CPS, TREsPASS, FutureID, SESAMO,
PaPP). </div>
<div style="font-size: medium; "><br>
</div>
<div style="font-size: medium; ">The date for applications is on October 1st and full details about the call and how to apply are available at</div>
<div style="font-size: medium; "> <a href="http://www.dtu.dk/english/career/7da12e65-dc28-42f6-ad11-6be53914b384.aspx">http://www.dtu.dk/english/career/7da12e65-dc28-42f6-ad11-6be53914b384.aspx</a></div>
<div style="font-size: medium; ">and more information about the Language Based Technology research team is available at</div>
<div style="font-size: medium; "> <a href="http://www.compute.dtu.dk/english/research/LBT">http://www.compute.dtu.dk/english/research/LBT</a></div>
<div style="font-size: medium; "><br>
</div>
<span style="font-size: medium; ">Hanne Riis Nielson & Flemming Nielson</span></div>
<div style="font-size: 12px; "><br>
</div>
<div style="font-size: 12px; ">--------------------------------------------------</div>
<div style="font-size: 12px; ">Prof. Hanne Riis Nielson, DTU Compute - Department of Applied Mathematics and Computer Science</div>
</div>
<div><br>
</div>
</div>
</span><br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
</div>
<br>
</body>
</html>