Lean Engineer
Resolution$346k–930k/yearBerkeleyOct 14
About the job
Разработка инфраструктуры для автоматизации формализации математических доказательств в Lean с помощью AI-агентов для нужд теоретической алайнмент-лаборатории
Requirements
- несколько лет опыта с Lean и Mathlib
- опыт с автоформализацией и много работы с AI
- сильная математика или теоретический CS
- мотивация алайнментом
Source: Telegram channel Take Friends to Luna Park
Employer contact is hidden
Sign up and upload your resume to unlock the direct contact for this job and a personal feed of similar ones from hundreds of Telegram channels. First 3 days free, no card.
Get the employer's contact