[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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