Modern security systems often rely on complex software that translates programs into forms that can be checked automatically. To trust such systems, it is not enough to verify the underlying security protocol: we must also know that the checked representation faithfully captures the intended program. This PhD project will investigate how theorem proving can be used to establish such end-to-end guarantees.
43% Job Post Completeness
Our Job Post Completeness indicates how much vital information has been provided for this job listing. Academic Jobs has done the heavy lifting for you and summarized all the important aspects of this job to save you time.
This is a members only listing…
Sign in as a member to view.
Make job publicly available.
Find Your Best Opportunity
Tell them AcademicJobs.com sent you!
