Logic List Mailing Archive

Professorship (Assistant, Associate or Full) in Theory of Computation, Groningen (The Netherlands), Deadline: 5 Apr 2020

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam