<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
Dear all,
<div class="moz-forward-container">
<div class="moz-forward-container"> <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" originalsrc="https://jobs.unige.ch/www/wd_portal.show_job?p_web_site_id=1&p_web_page_id=62228" shash="qi/1cuVuRL0z8S1MJ1Pc6x/tOTLgG41aDXms0Maq0k5Mcn8vcDKXx18Qq7efHYYKb8+gNN+5CXPcoufxfLi+JBcN0D7WzYWOk/v1zQnTssIheJI/68A3uRHgc6acVSrnH0DZIyDUPFBpnYwqc7eq8ruiw8vhi1eGPgKpW0aasrU=" moz-do-not-send="true" title="Unmangled Microsoft Safelink">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" originalsrc="https://www.informatics-europe.org/ecss/home.html" shash="QTZ9m0xgmdaW5cmIA0EmPVuFfUoKHjZPDMGU6OTA5QDSPfJczbqWZ9XT9QAEKJcKMRj78hiuUTMq55YVCcAccg94plXy9RWrBNZA1cbrU0DRtwQo2nuI+LEq/vXS463diDqM1JCqz8KcPyUKzB62He4akAvxrFe3anUmVjz484E=" moz-do-not-send="true" title="Unmangled Microsoft Safelink">ECSS
2023</a> in Edinburgh, 23-25 October! <a href="https://www.informatics-europe.org/ecss/registration/how-to-register.html" originalsrc="https://www.informatics-europe.org/ecss/registration/how-to-register.html" shash="cYn4tDKehdOZ8JGwBC3guhSLpn1egTTIpa0eM6/RhQ/ry9dwTol6sRacZw1jAESIY/99FRoK0t37MBtst0JrTW2UwCBd1WU6JtbBQRY0GAprb5pjVDw4Rzn4SKVSk/z0Y9UQwgxx7wdPAIkFwowBpgoNnXGq1HqyAMoAZ5995yA=" moz-do-not-send="true" title="Unmangled Microsoft Safelink">Registration</a>
open until Oct 16! <br>
<br>
<a href="https://www.informatics-europe.org/ecss/home.html" originalsrc="https://www.informatics-europe.org/ecss/home.html" shash="BkOr4LTrBTVJ8buLRlwpQ67KQ/GxFOh1yeRmF05fGBVNXkdlLAv4HOekBubIJGdWK4bMsqYGVrSLkwq5S3+Gh0xpMYdRNrGocejLBIirlHUlZWsYoXkfrjYw8mWtWZdYJQ/rVoDdd5YETfDFUCQVeSx/Aaa0LdjmJ1331GNnu94=" moz-do-not-send="true" title="Unmangled Microsoft Safelink"> <img src="https://www.informatics-europe.org/images/news/ECSS2023_RegisterNow.png" moz-do-not-send="true"> </a></div>
</div>
<div class="moz-signature"><a href="https://www.informatics-europe.org/ecss/home.html"><br>
</a></div>
</body>
</html>