Logic List Mailing Archive

PhD student position in automata theory, Warsaw (Poland), Deadline: 14 Jun 2020

**************************************************************************
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<mailto: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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam