[TYPES/announce] PhD Position in Formal Verification of Autonomous Systems
[ 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 PhD candidates interested in conduction research in Formal Verification of Autonomous Cyber-Physical Systems (ACPS). 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. The candidate will build on the latest advances in formal methods and learning theory, to develop methods that allow for building monitors with formal guarantees on their correctness and reliability. This position is funded by the Wallenberg AI, Autonomous Systems, and Software Program (WASP https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsFR2UFqfw$ ). 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=12785=UK__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsGAJE3-mg$ For questions please reach out Hazem Torfah at haze...@chalmers.se<mailto:haze...@chalmers.se> Deadline April 30, 2024. -- Hazem Torfah Assistant Professor Computing Science Division Chalmers University of Technology EDIT building | Floor 6V Office 6476 412 96 Gothenburg, Sweden haze...@chalmers.se<mailto:haze...@chalmers.se>
[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems
[ 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=11984=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 haze...@chalmers.se
[TYPES/announce] 3rd Workshop on Hyperproperties - Call for Presentations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PRESENTATIONS == HYPER 2024 3rd Workshop on Hyperproperties: Advances in Theory and Applications https://urldefense.com/v3/__https://hyperworkshop24.cispa.io/__;!!IBzWLUs!U24o0M5o6VXQFZOiUljquFFYlzIdBPJb2QI84-4lG7CVHyQc-9dIN8QyswfgI48ye_OBt03eId5WRp9lxnnj0el6s5iAOEVTsw$ co-located with CAV 2024 == The goal of HYPER 2024 is to foster the exchange of ideas on topics related to hyperproperties between researchers from the formal methods, security, machine learning, and cyber-physical systems communities and to present and discuss recent advances in theory and applications for specifying and analyzing hyperproperties. The workshop will comprise invited talks and selected presentations. For more details and a list of invited speakers, see https://urldefense.com/v3/__https://hyperworkshop24.cispa.io/__;!!IBzWLUs!U24o0M5o6VXQFZOiUljquFFYlzIdBPJb2QI84-4lG7CVHyQc-9dIN8QyswfgI48ye_OBt03eId5WRp9lxnnj0el6s5iAOEVTsw$ . HYPER 2024 is co-located with CAV 2024, and will take place in Montreal, Canada, on July 23, 2024. IMPORTANT DATES Submission deadline: April 25, 2024 AoE Notification date: May 13, 2024 Workshop: July 23, 2024 SUBMISSION GUIDELINES Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hyper24__;!!IBzWLUs!U24o0M5o6VXQFZOiUljquFFYlzIdBPJb2QI84-4lG7CVHyQc-9dIN8QyswfgI48ye_OBt03eId5WRp9lxnnj0el6s5i5CZw1Qg$ The HYPER workshop aims to bring together researchers interested in the broad area of hyperproperties and working in the areas of formal methods and control, cybersecurity, and machine learning. Topics of interest include, but are not limited to: Specification formalisms for hyperproperties Algorithms for verification, synthesis, and runtime verification for hyperproperties Information-flow control Privacy Fairness Causality Robustness Explainability Presentation proposals shall be submitted in the form of an *extended abstract of up to three pages* in LNCS format (not including references) via easychair. Submissions can overlap with previously published work and will be judged based on their relevance to the topic of the workshop. The workshop will have no formal proceedings. We look forward to seeing you at HYPER 2024 in Montreal! Hadar Frenkel, 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
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University has openings for two PhD positions and a PostDoc position in Formal Analysis of Autonomous Systems. We are looking for candidates interested in developing techniques and tools for the construction of provably-safe and -reliable learning-enabled autonomous systems. Please pass this information on to potential candidates. It would be great if you could also share this information within your network. The announcements for the positions are linked below: https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=11983=UK__;!!IBzWLUs!TV7kKUXK6EUa2k6IGl1fU9r-v2qWCZtZKaVlvxARfkK9iEpGD8pZjoWgoJ1gft6oLk575iZfzH0LRJCtdUK7mPtwQZ2ZsUpWaQ$ https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=11984=UK__;!!IBzWLUs!TV7kKUXK6EUa2k6IGl1fU9r-v2qWCZtZKaVlvxARfkK9iEpGD8pZjoWgoJ1gft6oLk575iZfzH0LRJCtdUK7mPtwQZ2B1fwCyw$ Application deadline: Sep 1, 2023 Many thanks! Kindest regards, Hazem Torfah -- Hazem Torfah Assistant Professor Computing Science Division Chalmers University of Technology 412 96 Gothenburg, Sweden