Click on Location links to filter by Job Title & Location.
Click on Company links to filter by Company & Location.
For exact match, enclose search terms in "double quotes".
Keywords: Research Assistant / Associate in Formal Methods, Specification and Verification and Compositional Program Analysis,
Location: South Kensington, South West London
Page: 1
Research Assistant / Associate in Formal Methods, Specification and Verification and Compositional Program Analysis
About the role: We a looking for a motivated ResearchAssistant / AssociateinFormalMethods, Specification... and Verification and CompositionalProgramAnalysis to work in our “Proof of Bugs for All” project. This is a 12-month research...