[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University
is looking for candidates interested in conducting independent research in the
area of formal analysis of autonomous cyber-physical systems (ACPS). The
candidate will work on developing a new generation of design and verification
techniques, rooted in formal methods, to enable and support the development of
assured ACPS. Topics of interest are (but are not limited to): compositional
contract-based design, specification formalism for expressing properties of
ACPS, statistical verification, and runtime verification under uncertainty.
This position is funded by the Wallenberg AI, Autonomous Systems, and Software
Program (WASP
https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jnbinv8vw$
). WASP is Sweden’s largest individual research program and provides unique
opportunities for achieving international research excellence with industrial
relevance.
More information can be found under the following link:
https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jmmntkfew$
--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6476
412 96 Gothenburg, Sweden
[email protected]
