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).
-- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
