<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] Lecturer / Senior Lecturer in Theoretical
Computer Science / Logic / Formal Methods</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Fri, 16 Sep 2022 00:52:42 +1000</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Serge Gaspers <a class="moz-txt-link-rfc2396E" href="mailto:serge.gaspers@unsw.edu.au"><serge.gaspers@unsw.edu.au></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
The School of Computer Science and Engineering at the University
of New South Wales (UNSW Sydney, Australia) is seeking outstanding
candidates for a (Senior) Lecturer position in Theoretical
Computer Science, Logic, or Formal Methods. This is a full-time,
tenure-track, research & teaching position (40% teaching, and
slightly less for new staff and early-career academics).<br>
<br>
The application deadline is Wednesday 12th October 2022, 11:50 pm
(Sydney time; which is a few hours ahead of most of the world).<br>
Apply here:
<a class="moz-txt-link-freetext" href="https://external-careers.jobs.unsw.edu.au/cw/en/job/510701/lecturer-senior-lecturer-in-computer-science-formal-methods-and-logic">https://external-careers.jobs.unsw.edu.au/cw/en/job/510701/lecturer-senior-lecturer-in-computer-science-formal-methods-and-logic</a>><br>
<br>
In addition, the school is seeking outstanding early-career and
mid-career candidates with a solid research track record in
Computer Science to apply for the Australian Research Council
(ARC) Discovery Early Career Research Awards (DECRA) and the ARC
Future Fellowships.<br>
<br>
DECRAs (0-5 years post-PhD, adjusted for interruptions):
<a class="moz-txt-link-freetext" href="https://jobs.acm.org/link.cfm?c=IltWXv3OGzTY">https://jobs.acm.org/link.cfm?c=IltWXv3OGzTY</a>>Future Fellowships
(5-15 years post-PhD, adjusted for interruptions):
<a class="moz-txt-link-freetext" href="https://jobs.acm.org/link.cfm?c=YFXgpcAveibs">https://jobs.acm.org/link.cfm?c=YFXgpcAveibs</a>>with a (soft)
deadline of 30th September 2022.<br>
<br>
<br>
</div>
</body>
</html>