[TYPES/announce] Assistant/Associate/Full Professor on Theory of Computation.

[Jorge A. Perez]

The University of Groningen (The Netherlands) has one vacancy in
"Theory of Computation" at the level of assistant (tenure-track),
associate, or full professor.

Topics/areas in the scope of this position include:
- fundamental computing paradigms
- formal modelling of communicating systems
- algorithmic and computational complexity

Complementary areas include: programming languages, logic,
dependability, automated verification, design and analysis of
algorithms, security and privacy, and multi-agent systems.

The position will be embedded in the Fundamental Computing group of
the Bernoulli Institute for Mathematics, Computer Science and
Artificial Intelligence (https://www.rug.nl/research/bernoulli/).

The Fundamental Computing group already carries out research on Theory
of Computation, with a focus on concurrency theory, in particular on
models and verification techniques for concurrent and
communication-centric computing.
There is a particular interest in expanding the group’s research activities.

This vacancy is related to the recently launched Groningen Cognitive
Systems and Materials (CogniGron), which gathers together researchers
from materials science, physics, chemistry, mathematics, computer
science and artificial intelligence.

Further information and application link:
https://www.rug.nl/about-us/work-with-us/job-opportunities/overview?details=00347-02S0006FBP

Application deadline: August 14, 2018.

Informal inquiries can be sent to Dr. Jorge A. Pérez (j.a.perez at rug.nl).

Best regards,
Jorge

--
Jorge A. Pérez
Assistant Professor
Bernoulli Institute for Math, CS and AI
University of Groningen, The Netherlands
URL: http://www.jperez.nl