Logic List Mailing Archive

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

*****************************************************************************************
Fully-Funded 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

*Application deadline: June 14, 2020*
*****************************************************************************************

We offer a fully-funded PhD position within the NCN grant " *Data-enriched 
modelsof 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.

? Starting date: Oct 1, 2020 or soon afterwards
? Project duration: 4 years
? Project leader: S?awomir Lasota (www.mimuw.edu.pl/~sl)
? Contact: sl@mimuw.edu.pl
? *Application deadline: June 14, 2020*

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