2 linked-data-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"https:" Fellowship positions at University of Sheffield

Research Fellow in AI-Assisted Formal Verification

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

offers an unusual opportunity to work at the intersection of Isabelle/HOL, the seL4-verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally

Research Fellow in AI-Assisted Formal Verification

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

offers an unusual opportunity to work at the intersection of Isabelle/HOL, the seL4-verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally