[TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation at the University of Groningen

[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.

We seek an outward looking researcher in Computer Science who will
perform research on theory of computation, broadly construed.

Research areas in the scope of this position include:
- algorithmic and computational complexity
- principles and semantics of programming languages
- program analysis and transformation
- fundamental computing paradigms

Complementary areas and topics include:
- design and analysis of algorithms and data structures,
- model checking and automated verification
- quantitative methods for reliability and safety

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 successful candidate will play a crucial role within the Center
“Groningen Cognitive Systems and Materials” (CogniGron).
This is a unique research center, where researchers from materials
science, physics, chemistry, mathematics, computer science and
artificial intelligence work together to create self-learning
materials that will perform the tasks that are now assigned to
thousands of transistors and complex algorithms.

For further details (job description. qualifications, conditions of
employment, application link), see the full vacancy text at

https://www.rug.nl/about-us/work-with-us/job-opportunities/?details=00347-02S0007KLP

Application deadline: April 5, 2020

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

-- 
Jorge A. Pérez
Associate Professor
Bernoulli Institute for Math, CS and AI
University of Groningen, The Netherlands
URL: http://www.jperez.nl
Office: Bernoulliborg 5.58 - +31 50 36 33971