Apply now! Vacancy in "Theory of Computation" at Assistant, Associate or Full Professor level

We are looking for an Assistant, Associate or Full Professor, depending your profile, who can complement and strengthen our position in the field of Theory of Computation. We seek an outward looking researcher in Computer Science who will perform research on theory of computation, broadly construed, in relation to new (neuromorphic) computing systems and architectures. Research areas in the scope of this position include: fundamental computing paradigms, algorithmic and computational complexity, principles and semantics of programming languages, and program analysis and transformation. Complementary areas and topics include: model checking and automated verification, programming language implementation, program logics, mechanized proofs, design and analysis of algorithms and data structures, quantitative methods for reliability and safety, multi-agent systems, security and privacy.

Follow the link for more information about and on how to apply. The applications can be submitted until May 5, 2020 23:59 h.