Email Gateway (Sep 14 2023 at 13:44): Email Gateway (Sep 14 2023 at 13:44):From: Burkhart Wolff <cl-isabelle-users@lists.cam.ac.uk>
Dear all,
We have funding for a Phd project situated at the University-Paris-Saclay,
associated to the “Laboratory of Formal Methods” and the Institute for
Technological Research, the IRT SystemX.
[The environment is fairly international, so this call explicitly addresses also
to non-french speaking candidats.]
Title: Verifying Driving Strategies of Autonomous Cars
Short Description: Modelling and Analysing Autonomous Vehicles (AV)
as a special case of Cyber-Physical Systems (CPS) is a challenge for
Formal Methods and therefore a field of active research. At present,
validations of safety properties of AVs were typically established by
simulations. The objective of this thesis is to go beyond this approach
and to extend and improve an existing framework based on formal proof.
The framework allows for the design and validation of AVs with (more)
complex dynamics, road topologies and partial occlusion of scene
perception. Formal proofs of safety properties in Isabelle/HOL are
expected to considerably simplify the engineering cycle (reduction
of effort and costs), and to provide measurable and achievable safety
criteria, together with a method for optimizing test plans.
Further detailed information can be found here:
This offer is further detailed here:
https://adum.fr/download.pl?tk=PyEJzvew7H224x1CFK9NkuYegmaKR21lCo9nT66NDcq8qnwsGdmVrud2WfD4xb5G
Applicants should send a copy of their master diploma and a letter of motivation to
burkhart.wolff@universite-paris-saclay.fr <mailto:burkhart.wolff@universite-paris-saclay.fr>> and paolo.crisafulli@irt-systemx.fr <mailto:paolo.crisafulli@irt-systemx.fr>:
Last updated: Oct 31 2025 at 12:44 UTC