[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Given the current circumstances, the application deadline for this vacancy has been extended to May, 5, 2020. Please advertise widely! ] 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 (in no particular order): - 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 (see https://www.rug.nl/research/bernoulli/ and http://www.cs.rug.nl/fc/). 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 (extended): May 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