Research Scientist: Verified Code Gen & Lean Proofs
- Hiring Organisation
- Jobleads-UK
- Location
- Greater London, England, United Kingdom
systems. The role involves designing systems that produce formal proofs of code correctness and collaborating across teams in London, UK. A PhD in computer science and experience in static analysis or software verification are required. The position offers a competitive salary between ...