[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12785&rmlang=UK__;!!IBzWLUs!RtKC2TXFQllca48S5mJdB4cslVyVJs4gQyd8mfuzfxti_LKqpbuWjC3c4gnvcBy4KdksWbE74ak4INaOEpM1S9oF6_fQXg$
<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://urldefense.com/v3/__https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12806&rmlang=SE__;!!IBzWLUs!RtKC2TXFQllca48S5mJdB4cslVyVJs4gQyd8mfuzfxti_LKqpbuWjC3c4gnvcBy4KdksWbE74ak4INaOEpM1S9oHemIgxg$
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!RtKC2TXFQllca48S5mJdB4cslVyVJs4gQyd8mfuzfxti_LKqpbuWjC3c4gnvcBy4KdksWbE74ak4INaOEpM1S9qY8dqZZg$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
