Sort by
Refine Your Search
-
verified using myriad methods. These verification approaches range from extensive testing and simulation through to formal proofs of correctness. When used in a corroborative fashion, the results
-
propulsion systems. Cutting-Edge Tools: Gain expertise in Contract-Based Design, formal verification, and modern advanced control—skills in high demand across industry. Professional Development: You will be
-
. The project will deliver traceable workflows, formal requirement templates, and automatically generated verification artefacts for medical-device safety certification. It aims to promote industrial adoption and
-
will deliver traceable workflows, formal requirement templates and automatically generated verification artefacts suitable for use in medical-device safety certification. It aims to contribute
-
or participant privacy. Several of the most active research frontiers in this field include: Certified unlearning with formal guarantees — developing methods with provable erasure bounds, connecting
-
the CRADLE team, the project will further refine and verify the proposed control framework through formal verification techniques. We are seeking highly motivated candidates with a strong background in control
-
and critical infrastructure simulation. Training on formal verification methods (probabilistic model checking) and AI safety compliance (EU AI Act standards) will also be provided. Student Applicant