Applied Scientist - Research Engineer (Formal Methods), EMEA

О MISTRAL

Mistral предоставляет комплексные ИИ-решения: от передовых моделей до инструментов для разработчиков, приложений и вычислительных мощностей. Мы сотрудничаем с предприятиями, решающими самые сложные задачи в высокорисковых отраслях, таких как финансы, производство, оборона, здравоохранение и государственный сектор, совместно создавая индивидуальные ИИ-системы, которые они могут использовать на своих условиях.

Мы — динамичная, ориентированная на сотрудничество команда, увлеченная ИИ и его потенциалом для преобразования общества. Наш разнообразный коллектив преуспевает в конкурентной среде и стремится к инновациям. Наши команды распределены между Европой, Северной Америкой, Азией и Ближним Востоком. Мы креативны, лишены эго и нацелены на командную работу.

РОЛЬ

Mistral AI ищет прикладных ученых и инженеров-исследователей, специализирующихся на формальных методах. Вы будете разрабатывать, обучать и развертывать передовые большие языковые модели и применять их для различных вариантов использования.

Вы будете работать в кросс-функциональных командах с внутренними и внешними научными, инженерными и продуктовыми командами для предоставления высокоэффективных ИИ-решений.

ЧТО ВЫ БУДЕТЕ ДЕЛАТЬ

• Проводить предварительное и пост-обучение, а также развертывать передовые модели на больших кластерах.
• Генерировать и курировать наборы данных для доказательства теорем и верификации программного обеспечения, а также создавать средства оценки и эталоны для формальных рассуждений.
• Разрабатывать необходимые инструменты и фреймворки для облегчения генерации данных, обучения моделей, их оценки и развертывания.
• Сотрудничать с кросс-функциональными командами для решения сложных вариантов использования.
• Управлять исследовательскими проектами и коммуникациями с исследовательскими командами клиентов.

ЧТО МЫ ИЩЕМ

• Свободное владение английским языком с отличными коммуникативными навыками — способность легко объяснять сложные технические концепции как технической, так и нетехнической аудитории.
• Экспертное владение PyTorch или JAX.
• Не боится вносить вклад в большую кодовую базу; самостоятельно находит нужные решения с минимальным руководством.
• Пишет чистый, читаемый, высокопроизводительный, отказоустойчивый код на Python.
• Не нуждается в дорожных картах: действует самостоятельно и уверенно ориентируется в неопределенности.
• Лишен эго, ориентирован на сотрудничество и стремится к обучению.
• Подтвержденный опыт успеха через личные проекты, профессиональные проекты или академическую деятельность.

ПРИВЕТСТВУЕТСЯ

• PhD / Master в соответствующей области (компьютерные науки, математика, машинное обучение).
• Опыт работы с автоформализацией, автоматизацией доказательств или генерацией верифицированного кода.
• Опыт работы с обучением с подкреплением с использованием верифицируемых вознаграждений, желательно из Lean или других систем доказательств.
• Вклад в большую открытую или промышленную кодовую базу.
• Публикации в ведущих научных журналах или на конференциях.
• Удовольствие от улучшения существующего кода: типизация, тесты, CI-пайплайны.

ЧТО МЫ ПРЕДЛАГАЕМ

Мы предлагаем комплексный пакет льгот, разработанный для поддержки вашего благополучия, роста и баланса между работой и личной жизнью. Льготы различаются в зависимости от страны и могут включать медицинское страхование, отпуск по уходу за ребенком, пенсионные планы, помощь при переезде, программы оздоровления, пособия на питание и транспорт, а также другие льготы, специфичные для конкретного местоположения.

Для получения самой актуальной информации о льготах, доступных в вашем регионе, пожалуйста, обратитесь к нашей странице льгот.

ПОЛИТИКА КОНФИДЕНЦИАЛЬНОСТИ

Ваша конфиденциальность важна для нас. Вы можете узнать больше о том, как мы обрабатываем ваши личные данные, в нашей Политике конфиденциальности для соискателей.