Postdoctoral position in automata theory, Warsaw (Poland)

A postdoc position is available at the University of Warsaw in the project "Data-enriched models of computation" (funded by NCN, principal investigator: Prof. Sławomir Lasota). Starting date: As soon as possible. Duration: one year, possible extension to another year. The projectaims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification.

The ideal candidate is expected to have: a PhD degree or equivalent in computer science or math - Solid background in formal methods and automata theory - Significant publication record - Strong motivation for research work in foundations of computer science - Advanced skills in written and spoken English. We promise, except for very competitive salary, a vibrant working atmosphere in the automata group at the University of Warsaw, and exciting and challenging research problems.