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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
