Applied Scientist - Research Engineer (Formal Methods), EMEA
- Location
- Greater London, England, United Kingdom
learn. Track record of success through personal projects, professional projects or academia. Nice to have PhD/Master in a relevant field (Computer Science, Mathematics, Machine Learning). Experience with autoformalization, proof automation, or verified code generation. Experience with reinforcement learning using verifiable rewards, ideally from Lean or other proof ...