Research Scientist, Verified Code Generation, DeepMind — Google DeepMind | cvGO!

Google DeepMind · London, England, United Kingdom · Remote · 207000 USD

### О роли Исследователь в DeepMind, направленный на разработку AI-систем для формального доказательства корректности, безопасности и защищённости кода с использованием Lean. Работа на стыке LLM и формальной верификации. ### Обязанности - Разработка AI-систем для генерации формальных доказательств (