Lean Engineer
- Компания
- Resolution
- Где
- Berkeley, United States
- Зарплата
- 346 000–930 000 $/год
- Опубликовано
- 2026-10-14
Разработка инфраструктуры для автоматизации формализации математических доказательств в Lean с помощью AI-агентов для нужд теоретической алайнмент-лаборатории
Требования • несколько лет опыта с Lean и Mathlib • опыт с автоформализацией и много работы с AI • сильная математика или теоретический CS • мотивация алайнментом
Источник (по данным JobSignal): Telegram-канал Take Friends to Luna Park
Полный текст и отклик — на странице работодателя.