<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<b style="font-weight:normal">
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">Dear all,</span></p>
<br>
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">The Computer Science Department at Heriot-Watt University is looking for three (permanent) assistant professors in Computer Science:</span></p>
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<a href="https://urldefense.com/v3/__https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/2282/?utm_medium=jobshare__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1weETSsTA$" data-auth="NotApplicable"><span style="font-size:11.5pt; font-family:Arial; color:rgb(17,85,204); background-color:rgb(255,255,255); font-weight:400">https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/2282/?utm_medium=jobshare</span></a></p>
<br>
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">Heriot-Watt is currently growing significantly in the area of verification, programming languages, and theorem provers -  and Scotland
 offers a great environment for these topics in general (see e.g. the </span><a href="https://urldefense.com/v3/__https://spls-series.github.io/__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1wVo1LqqU$" data-auth="NotApplicable"><span style="font-size:11.5pt; font-family:Arial; color:rgb(17,85,204); background-color:rgb(255,255,255); font-weight:400">Scottish
 Programming Languages Seminar</span></a><span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400"> or our
</span><a href="https://urldefense.com/v3/__https://www.macs.hw.ac.uk/splv/splv-2022__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1wbr1LF4-$" data-auth="NotApplicable"><span style="font-size:11.5pt; font-family:Arial; color:rgb(17,85,204); background-color:rgb(255,255,255); font-weight:400">recent summer school</span></a><span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">).</span></p>
<br>
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">There are also
</span><a href="https://urldefense.com/v3/__https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/2280/?utm_medium=jobshare__;!!IBzWLUs!RAR69n8PBCGHUdYPgL-9WQBYlUePp8yf8ZS2FGT_7zHCFsVoQ_VWA7uk3tUyvIBFuzNZm0A7UXtcG5bElRnfpjI1wVXiro8t$" data-auth="NotApplicable"><span style="font-size:11.5pt; font-family:Arial; color:rgb(17,85,204); background-color:rgb(255,255,255); font-weight:400; text-decoration:underline">four
 more teaching-related positions</span></a><span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">. </span></p>
<br>
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">The deadline for application is
</span><span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:700">August, 15</span><span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">.</span></p>
<br>
<p dir="ltr" style="margin-top: 0px; margin-bottom: 0px;line-height:1.38; margin-top:0pt; margin-bottom:0pt">
<span style="font-size:11.5pt; font-family:Arial; color:rgb(29,28,29); background-color:rgb(255,255,255); font-weight:400">Kathrin</span></p>
</b><br>
</div>
<div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div id="Signature">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Kathrin Stark </div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Department of Computer Science</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Assistant Professor, Heriot-Watt University </div>
</div>
</div>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<title>Untitled Document</title>
<div align="center">
<hr size="2" width="100%" align="center">
</div>
<p style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;margin:0;">
Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences.
 This email is generated from the Heriot-Watt University Group, which includes:</p>
<ol style="margin:0;">
<li style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;">
Heriot-Watt University, a Scottish charity registered under number SC000278</li><li style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;">
Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services
 Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.</li></ol>
<p style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;margin:0;">
The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then
 delete it (including any attachments) from your system.</p>
</body>
</html>