[TYPES/announce] PhD Position in Formal Verification of Autonomous Systems

: https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=12785=UK__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsGAJE3-mg$ For questions please reach out Hazem Torfah at haze...@chalmers.se

[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems

the following link: https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=11984=UK__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jmmntkfew$ -- Hazem Torfah Assistant Professor Computing

[TYPES/announce] 3rd Workshop on Hyperproperties - Call for Presentations

, Niklas Metzger, and Hazem Torfah HYPER 2024 co-chairs

[TYPES/announce] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University

Torfah -- Hazem Torfah Assistant Professor Computing Science Division Chalmers University of Technology 412 96 Gothenburg, Sweden