[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position in automata theory, University of Warsaw ************************************************************************** - Application deadline: March 31, 2022 - Starting date: As soon as possible - Salary: 27.000 PLN per annum (very competitive in Poland) - Duration: one year, possible extension to another year - Project: "Data-enriched models of computation" funded by NCN - Principal investigator: Prof. Sławomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!BtApIM-cXc3QIz-uFVhZyCjZ2BOhP7hAkMH_R2QVfeCgW11UeT8lSuTsD640A1V5VM0Mc321-Gz1Ew$ ) - Contact: s...@mimuw.edu.pl ************************************************************************** The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification. 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. The ideal candidate is expected to have: • 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. To apply, please send your curriculum vitae to s...@mimuw.edu.pl.