[Agda] Two PhD positions in Computing science at Chalmers

[Ana Bove]

Dear All

The Computing science division at the department of Computer science and 
engineering, Chalmers, has two open PhD positions.
I would appreciate if you can distribute the information to those you 
might think can be interested/are good candidates.

** Formal Verification of Autonomous Systems*
The goal of the PhD project is to develop techniques for the design and 
verification of assured ACPS with a focus on runtime assurance. You will 
develop theory and tools for the construction of runtime monitors that 
capture under what conditions an ACPS is guaranteed to maintain safety. 
A key challenge in developing such monitors is to handle noisy, missing, 
or delayed data. Of particular interest is the investigation of 
compositional methods for constructing runtime monitors.
_Deadline for application: April 30th
_More information: 
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12785&rmlang=UK 
<https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12785&rmlang=UK__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsGAJE3-mg$>

** Graph modification*
The goal is to investigate the tractability of these problems from both 
the classical and parameterized complexity perspectives. This work lies 
at the intersection of structural graph theory, computational complexity 
and algorithm design.
_Deadline for application: May 21st_
More information: 
https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12806&rmlang=SE

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
http://www.cse.chalmers.se/~bove
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240416/8a9a7b32/attachment.html>