PhD position in automata theory, University of Warsaw

PhD position in automata theory, University of Warsaw

[Sławomir Lasota]

**************************************************************************
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/ ]