Logic List Mailing Archive

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

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

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