[TYPES/announce] Assistant professor position in Theoretical Computer Science at University of Groningen.

Jorge A. Pérez j.a.perez at rug.nl
Sun Nov 13 21:39:37 EST 2022


Dear colleagues,

The University of Groningen (NL) invites applications for one
assistant professor position (tenure-track) in Theoretical Computer
Science.

The successful candidate will join us at the Fundamental Computing
group of the Bernoulli Institute for Mathematics, Computer Science and
AI.
The group already has research expertise on concurrency theory, modal
logic, coalgebra, and proof theory (see https://urldefense.com/v3/__http://www.rug.nl/fse/fc__;!!IBzWLUs!QOUjCGWM_sgjWSvO9yEQkjwqv94X0927WoHU5V89MVYusZnnsomN-pHOPisHrDG54uAmyf1-a5H5M5_pw75GZYUkotQu48DH$ ); we
seek to reinforce our profile in Theoretical Computer Science, very
broadly construed.

This is a tenure-track position with 60% teaching - 30% research - 10%
organizational tasks.
Our tenure-track system offers well-defined perspectives for career
and personal development.
In particular, after five years of appointment, assistant professors
are assessed for tenure and promotion to associate professor.

The application deadline is January 8, 2023.
For further details about this position, our tenure-track system, and
the link to the application form see
https://urldefense.com/v3/__https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0009PCP&cat=wp__;!!IBzWLUs!QOUjCGWM_sgjWSvO9yEQkjwqv94X0927WoHU5V89MVYusZnnsomN-pHOPisHrDG54uAmyf1-a5H5M5_pw75GZYUkoo0MByUP$ 
.

Please disseminate widely among potential candidates. If you have any
questions, please feel free to contact me <j.a.perez-at-rug.nl>.

Best wishes,
Jorge

--
Jorge A. Pérez
Associate Professor
Leader, Fundamental Computing group
Bernoulli Institute for Math, CS and AI
University of Groningen, The Netherlands
<https://urldefense.com/v3/__https://www.jperez.nl__;!!IBzWLUs!QOUjCGWM_sgjWSvO9yEQkjwqv94X0927WoHU5V89MVYusZnnsomN-pHOPisHrDG54uAmyf1-a5H5M5_pw75GZYUkom4H5ASw$ >  /  <https://urldefense.com/v3/__https://www.rug.nl/fse/fc__;!!IBzWLUs!QOUjCGWM_sgjWSvO9yEQkjwqv94X0927WoHU5V89MVYusZnnsomN-pHOPisHrDG54uAmyf1-a5H5M5_pw75GZYUkotmCSDk7$ >


More information about the Types-announce mailing list