Applied Scientist - Research Engineer (Formal Methods), EMEA
- Location
- Greater London, England, United Kingdom
proof automation, or verified code generation. Experience with reinforcement learning using verifiable rewards, ideally from Lean or other proof assistants. Contributions to a large open-source or industry codebase. Publications in top academic journals or conferences. Enjoys improving existing code: typing, tests, CI pipelines. What We Offer ...