<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
Hello all,<o:p class=""></o:p></div>
<div style="margin: 0cm 0cm 0cm 36pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
<o:p class=""> </o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
We have our usual yearly round of general <a href="https://urldefense.com/v3/__https://www.imperial.ac.uk/jobs/description/ENG01911/lecturers-computing/__;!!IBzWLUs!Gs_xw-rgQoe1cmricwiiy5FpSsRH4bg7gaH06Zcp8adXKk_VOI-cDs5Ek_jAGL7eNFix8xp3osz4Iw$" style="color: blue;" class="">lectureship (assistant professor) positions</a> at the Department of Computing at Imperial: deadline
<font color="#ff2600" class="">**4th January**</font>. We have four positions; the added flexibility of many positions usually helps the PL/analysis subjects. <o:p class=""></o:p></div>
<div style="margin: 0cm 0cm 0cm 36pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
<o:p class=""> </o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
In addition, we have 13 (!) <a href="https://urldefense.com/v3/__https://www.imperial.ac.uk/jobs/description/ENG01911/lecturers-computing/__;!!IBzWLUs!Gs_xw-rgQoe1cmricwiiy5FpSsRH4bg7gaH06Zcp8adXKk_VOI-cDs5Ek_jAGL7eNFix8xp3osz4Iw$" style="color: blue;" class="">lectureship positions </a>which have just been advertised at the recently created <a href="https://urldefense.com/v3/__https://ix.imperial.ac.uk/__;!!IBzWLUs!Gs_xw-rgQoe1cmricwiiy5FpSsRH4bg7gaH06Zcp8adXKk_VOI-cDs5Ek_jAGL7eNFix8xpZGByZAg$" style="color: blue;" class="">Imperial-X</a>,
deadline <font color="#ff2600" class="">**17th January and 28th February**</font> (I do not understand the two deadlines, I would aim for the first if you can to dovetail with the other Department positions). The purpose of Imperial-X is to create new ways
of working between academia and industry, across Departments, with inevitably a focus on AI<span style="font-size: 11pt;" class="">. We count as AI (!), in that there is the virtual </span><a href="https://urldefense.com/v3/__https://www.imperial.ac.uk/sassy-initiative/__;!!IBzWLUs!Gs_xw-rgQoe1cmricwiiy5FpSsRH4bg7gaH06Zcp8adXKk_VOI-cDs5Ek_jAGL7eNFix8xqigWPPig$" style="font-size: 11pt; color: blue;" class="">SaSSy
Initiative</a><span style="font-size: 11pt;" class=""> on </span><span style="font-size: 11pt; color: rgb(22, 21, 21); border: 1pt none windowtext; padding: 0cm; background-color: white;" class="">the safety and security of our modern software systems, underpinned
by rigorous design, specification, testing and verification. </span></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
<o:p class=""></o:p></div>
<div style="margin: 0cm 0cm 0cm 36pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
<o:p class=""> </o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
This is happening very quickly. If anyone wishes to find out more about the SaSSy Initiative, please contact me or any of the SaSSy academics. Even if you are not so interested in Imperial-X but are interested in a more traditional position, please look at
the SaSSy initiative as it lists in one place the awesome academics that we have at Imperial, working on AL/PL/analysis/security, spanning theory and practice, with substantial connections to industry. <o:p class=""></o:p></div>
<div style="margin: 0cm 0cm 0cm 36pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
<o:p class=""> </o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
Best wishes,<o:p class=""></o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
Philippa<o:p class=""></o:p></div>
<div style="margin: 0cm; font-size: 11pt; font-family: Calibri, sans-serif;" class="">
<o:p class=""> </o:p></div>
</body>
</html>