Logic List Mailing Archive

PhD student position in enabling reactive synthesis, Goeteborg (Sweden)

Open PhD position in the department of Computer Science and Engineering at
the University of Gothenburg/Chalmers, Sweden. The student will work on the
project "Enabling Reactive Synthesis through Runtime Verification? with
Professor Nir Piterman. The student will join a team supported by an ERC
Consolidator grant and the Swedish research council (vetenskapsrådet (VR)).

Research scope: formal methods, reactive synthesis, runtime verification,
automata, games, temporal logics

Apply here: https://tiny.cc/gbgphd

Read more what it would be like: https://tiny.cc/gbgphdtweet


The successful candidate will work on the project ?Enabling Reactive
Synthesis through Runtime Verification?. Reactive synthesis - automatic
production of programs from high-level descriptions of their desired
behavior - is emerging as a viable tool for the development of robots and
reactive software. In high level, this is like telling a robot what you
would like it to do and automatically planning how to do it. Runtime
verification is an approach for following programs through their execution
to ensure that they work correctly. The project will improve the
capabilities of reactive synthesis techniques through exploiting methods
that are used for runtime verification. This will include both theoretical
and practical contributions.

More concretely, the work will include the study of temporal logic,
automata, and two player games. Temporal logic is used for describing in a
high level the required behavior of a program, automata are used as an
algorithmic tool for manipulation of logic formulae, and two-player games
enable to consider strategies and programs. We will study these formalisms,
analyze their properties, devise algorithms to manipulate and translate
between them, as well as implement tools that will show the applicability
of the developed techniques.

The aim of the doctoral (third-cycle) education is to acquire the knowledge
and skills necessary to conduct independent research within computer
science, and to contribute to the development of knowledge by writing a
scholarly thesis.

PhD (third-cycle) education is through a fixed-term employment contract for
5 years. During these 5 years, most of the student?s time will be devoted
to their research. They will also be assisting the department?s education
by working 20% of their time on a teaching or supporting role. The 20%
support component may be concentrated in certain parts of the year
according to department?s needs (in consultation with the student). In
addition, the student will have to undertake 60 Higher Education Credits in
courses enriching their knowledge in computer science, supporting their
research, and gaining general (scientific) skills.
--
[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