CAUTION: The Sender of this email is not from within Dalhousie. ************************************************************************** Fully-Funded 4-year Ph.D. position in automata theory Department of Mathematics, Informatics and Mechanics, University of Warsaw Project: "Data-enriched models of computation" funded by NCN Supervisor: Prof. Sławomir Lasota Contact: sl@mimuw.edu.pl Start: Oct 2020 or soon afterwards *Application deadline: June 14, 2020* ************************************************************************** We offer a fully-funded PhD position within the NCN grant "Data-enriched models of computation". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification, but anticipates also development of prototype analysis tools. A successful candidate is expected to enroll into the PhD program in the University of Warsaw. We offer: • competitive salary up to 60.000 PLN (around 13.500 euro) per year • vibrant working atmosphere in the automata group at Warsaw • exciting and challenging research problems • scientific collaborations worldwide. The successful candidate is expected to have: • Master’s degree or equivalent in computer science of math • solid background in formal methods and automata theory • strong motivation for research work in foundations of computer science • advanced skills in written and spoken English. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]