Logic List Mailing Archive

PhD student position in analysis of concurrent systems, Warsaw (Poland)

**************************************************************************
Fully-Funded Ph.D. Studentship in Analysis of Concurrent Systems
Department of Mathematics, Informatics and Mechanics, University of Warsaw
Project: "Automatic analysis of concurrent systems"
Supervisor: Prof. S?awomir Lasota
Contact: sl@mimuw.edu.pl
Start: Autumn 2018

We offer a fully-funded Ph.D. studentship, supported by a grant of Polish
National Science Center help by prof. S?awomir Lasota, within the Warsaw
Group of Automata Theory. The project aims at advancing foundations of
analysis of concurrent systems, focusing on the model of Petri nets (also
known as vector addition systems) and their extensions. A successful
candidate is expected to contribute mainly to mathematical aspects of the
planned research (on the borderline between automata theory, concurrency
theory, and complexity theory), but the project anticipates also a
development of a prototype analysis tool.

The position is available from 1 Sept 2018 or soon afterwards, and will
provide a scholarship of at least 54.000 PLN (around 12.500 euro) per year
during three years, with a possibility of extension to the fourth year. The
prospective PhD student is expected to engage in a small amount of teaching.
**************************************************************************
--
[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