2 surface "UNIVERSITY OF SURREY" Fellowship positions

Research Fellow in AI-Assisted Formal Verification

University of Sheffield | Sheffield, England | United Kingdom | about 3 hours ago

the seL4 proof base in Isabelle/HOL. You will join a highly collaborative international team spanning the Universities of Sheffield, Surrey and Melbourne, bringing together expertise in Isabelle/HOL, seL4

Research Fellow in AI-Assisted Formal Verification

University of Sheffield | Sheffield, England | United Kingdom | 2 days ago

the seL4 proof base in Isabelle/HOL. You will join a highly collaborative international team spanning the Universities of Sheffield, Surrey and Melbourne, bringing together expertise in Isabelle/HOL, seL4