[Job-offers-cs] [AALTO WARNING: POSSIBLE SPAM] Opening position in TCS at the University of Geneva

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[AALTO WARNING: POSSIBLE SPAM] [DMANET] Opening position in 
TCS at the University of Geneva
Date: 	Thu, 5 Oct 2023 14:31:01 +0200
From: 	Arnaud Casteigts <arnaud.casteigts at u-bordeaux.fr>
To: 	dmanet at zpr.uni-koeln.de



Dear all,

The CS department at University of Geneva (Switzerland) is opening
a professor position in Theoretical Computer Science. The position
is opened at the three levels (assistant/associate/full), depending
on the candidates.

All TCS-related topics are eligible, with a priority given to
"Track B" topics, which include (but are not limited to):

* Logic and games
* Automata theory
* Semantics of programming languages
* Proof assistants
* Type theory
* Verification
* Computational complexity
* ...

Candidates are assumed to be able to teach in French (or be
credibly able to do so within a couple of years).

The deadline for application is *November 15 2023.*

Guidelines for application are the same as in the following
earlier announcement, where the position was limited to the
full prof level only (which is no longer the case):

https://jobs.unige.ch/www/wd_portal.show_job?p_web_site_id=1&p_web_page_id=62228>
Best regards,
Arnaud Casteigts


-- 
Join ECSS 2023 <https://www.informatics-europe.org/ecss/home.html> in 
Edinburgh, 23-25 October! Registration 
<https://www.informatics-europe.org/ecss/registration/how-to-register.html> 
open until Oct 16!

<https://www.informatics-europe.org/ecss/home.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://list.aalto.fi/pipermail/job-offers-cs/attachments/20231013/2dc35406/attachment.htm>