Theory of Computation

We are looking for a researcher in Computer Science who will perform research on fundamental computing paradigms, formal modelling of communicating systems, algorithmic and computational complexity, in relation to new (neuromorphic) computing architectures. Within theory of computation, broadly constructed, novel approaches and programming models are needed to design and program neuromorphic and cognitive systems but also to rigorously certify their reliability, correctness, and efficiency. Complementary areas in the scope of this position include: programming languages, logic, dependability, automated verification, design and analysis of algorithms, security and privacy, multi-agent systems. The position will be embedded in the Fundamental Computing group of the Bernoulli Institute, with strong interactions with artificial intelligence, mathematics and materials science.

For more information about the position click here and to apply click here.