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

[Pekka Orponen]

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.

*Female candidates are strongly encouraged to apply.*

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 *March 1, 2024.*

Guidelines for application can be found there:

https://jobs.unige.ch/www/wd_portal.show_job?p_web_site_id=1&p_web_page_id=63896>Note 
that this announce replaces an earlier announcement, the opening was 
delayed due to administrative reasons. We apologize for the inconvenience.

Best regards,
Arnaud Casteigts