[DL] Up to two PhD Positions in combinations of Formal Verification and Planning - Chalmers University of Technology, Gothenburg, Sweden

[Nir Piterman]

Open PhD positions in the department of Computer Science and Engineering at
Chalmers University of Technology / the University of Gothenburg, Sweden.
The students will work with Professor Nir Piterman in the formal methods
unit.

These positions are supported by WASP - the Wallenberg AI, Autonomous
Systems, and Software Program.

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

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

The successful candidates will work on combinations of formal verification
and planning on symbolic AI that is used in reinforcement learning and
directly in robotics and reactive software development.

More concretely, the work will include the study of temporal logic,
planning domains and planning techniques, automata, and two player games.
Temporal logic and planning domains are used for symbolically describing in
a high level the world surrounding a program, planning techniques are used
to extract information about the problem, 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.

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 the department's needs (in consultation with the student). In
addition, the student will have to undertake 60 Higher Education Credits
(HECs) in courses enriching their knowledge in computer science, supporting
their research, and gaining general (scientific) skills.

This project is supported by WASP and the appointed student will also
belong to the WASP graduate school. Some of the required HECs will be
specialized WASP courses about autonomous systems and AI. The appointed
student will also be eligible to participate in other WASP supported
programs (such as visits to universities abroad or short-term research
visits to other universities).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20250704/e9c206ff/attachment.htm>