<!DOCTYPE html><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>[AALTO WARNING: POSSIBLE SPAM] [DMANET] Opening position
in TCS at the University of Geneva</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 5 Oct 2023 14:31:01 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Arnaud Casteigts <a class="moz-txt-link-rfc2396E" href="mailto:arnaud.casteigts@u-bordeaux.fr"><arnaud.casteigts@u-bordeaux.fr></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>
Dear all,<br>
<br>
The CS department at University of Geneva (Switzerland) is opening<br>
a professor position in Theoretical Computer Science. The position<br>
is opened at the three levels (assistant/associate/full),
depending<br>
on the candidates.<br>
<br>
All TCS-related topics are eligible, with a priority given to<br>
"Track B" topics, which include (but are not limited to):<br>
<br>
* Logic and games<br>
* Automata theory<br>
* Semantics of programming languages<br>
* Proof assistants<br>
* Type theory<br>
* Verification<br>
* Computational complexity<br>
* ...<br>
<br>
Candidates are assumed to be able to teach in French (or be<br>
credibly able to do so within a couple of years).<br>
<br>
The deadline for application is *November 15 2023.*<br>
<br>
Guidelines for application are the same as in the following<br>
earlier announcement, where the position was limited to the<br>
full prof level only (which is no longer the case):<br>
<br>
<a class="moz-txt-link-freetext" href="https://jobs.unige.ch/www/wd_portal.show_job?p_web_site_id=1&p_web_page_id=62228">https://jobs.unige.ch/www/wd_portal.show_job?p_web_site_id=1&p_web_page_id=62228</a>><br>
Best regards,<br>
Arnaud Casteigts<br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-signature">-- <br>
Join <a href="https://www.informatics-europe.org/ecss/home.html">ECSS
2023</a> in Edinburgh, 23-25 October!
<a href="https://www.informatics-europe.org/ecss/registration/how-to-register.html">Registration</a>
open until Oct 16!
<br>
<br>
<a href="https://www.informatics-europe.org/ecss/home.html">
<img src="https://www.informatics-europe.org/images/news/ECSS2023_RegisterNow.png">
</a></div>
</body>
</html>