Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Marie Curie Early Stage Research PhD at Univer...

Email Gateway (Aug 22 2022 at 18:41):

From: Simon Foster via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle List,

The University of York is currently inviting applications for four PhD
positions under the "Safer Autonomous Systems" Marie-Sklodowska-Curie
Innovative Training Network. One of the four positions, ESR 10, aims to use
Isabelle/HOL to create a framework for development of mechanised "dynamic
assurance cases" based on the Structured Assurance Case Meta-Model (SACM):

ESR 10 — From Static Assurance Cases at Design-Time to Executable Assurance
The PhD positions are salaried, and the fees are paid by the funder. For
more information, or to apply, please visit
https://jobs.york.ac.uk/wd/plsql/wd_portal.show_job?p_web_site_id=3885&p_web_page_id=367859

Thanks,

-Simon.

Last updated: Apr 20 2024 at 01:05 UTC