Lean Engineer для автоматизации ресёрча@ Resolution
Что за роль
Мы ищем Lean Engineer для автоматизации ресёрча в компании Resolution. Ваша задача — организовывать процесс формализации теорем и поддерживать стандарты работы.
Чем вы будете заниматься
- Организация процесса автоматизации ресёрча.
- Поддержка стандартов и помощь ресёрчерам.
- Разработка общих библиотек для формализации.
Требования
- Несколько лет опыта с Lean и Mathlib.
- Опыт с автоформализацией и работа с AI.
- Сильные знания математики или теоретического CS.
- Мотивация к алайнменту.
Что мы предлагаем
- Конкурентная зарплата от $346k до $930k в год.
- Помощь с визой и переездом в офис в Беркли.
Вакансия предлагает интересные задачи в области автоматизации ресёрча с хорошими условиями. Однако, зарплата может варьироваться значительно, что может вызвать вопросы у некоторых кандидатов.
Кто здесь добьётся успеха
Глубокое понимание Lean методологий и опыта работы с Mathlib для эффективной автоматизации процессов формализации.
Способность работать самостоятельно в удаленном режиме, управляя своим временем и приоритетами для достижения результатов в условиях гибкой среды.
Опыт в применении математических моделей и теоретической информатики для решения сложных задач в области автоформализации и исследований.
Ресурсы для обучения
Карьерный путь
Обзор рынка
Навыки и требования
Тренды отрасли
Новости AI/Big Data
Загружаем новости отрасли...
Ищем релевантные статьи за последние 6 месяцев