Research Scientist
- Hiring Organisation
- Hackajob Ltd
- Location
- South West London, London, United Kingdom
- Employment Type
- Permanent
agents that generate formally verified code, algorithms, and mathematical proofs using the Lean proof assistant. Formalize the semantics of programming languages (e.g., C/C++) in Lean and build verified static analyses on top of these formalizations. Design and run experiments evaluating AI-driven proof search, including benchmarking against open ...