Compiler Developer - System Verification Tools
Purpose
Our team develops test program generators for system-level verification of processors, processor clusters, and SoCs. We use LLVM compiler infrastructure to generate code snippets used to verify processor core pipeline, various instruction set extensions, memory coherency, and so on. We also perform regular massive runs of generated tests.
Responsibilities
- Research and development in test program generation for system-level verification
- Work wih LLVM compiler to generate code snippets used to verify processor core pipeline, various instruction set extensions, memory coherency, and so on.
Practical skills
- Work experience: 3+ years;
- At least one of the following:
- Fuzzing, test generation, or other similar methodology of software or hardware verification;
- LLVM compiler infrastructure;
- C++17, CMake, git;
- Experience with Linux development environment.
- Experience with any of the following would be a plus:
- RISC-V instruction set architecture (others ISA OK too, e.g. ARM, x86, VLIW etc.);
- RTL hardware design and verification;
- Hardware simulation models;
- Software development for bare metal or real-time OS.
Theoretical knowledge
- Compiler design, program analysis, program transformations;
- Computer science: algorithms, data structures, graph theory;
- Modern processors architecture.
Мы предлагаем
Здоровье
- ДМС со стоматологией с первых дней работы
- Льготные условия страхования близких
- Возможность взять day off для восстановления здоровья
Помощь в личных и профессиональных вопросах
- Консультации юристов по любым вопросам
- Сессии с психологом для поддержания ментального здоровья
- Помощь экспертов по ЗОЖ и управлению личными финансами
- Премии за патенты и изобретения
Развитие и новые знания
- Учебный портал с лекциями от экспертов
- Участие в топовых конференциях
- Изучение английского
- Дополнительное профессиональное обучение на внешних курсах
Поддержка активных и творческих увлечений
- Программа, по которой можно вместе с коллегами посещать тренировки, творческие уроки и участвовать в соревнованиях — компания частично компенсирует расходы.
Бонусы и скидки от партнеров
- Скидки на посещение ресторанов и фитнес-клубов, заказы в сервисах доставки, на подписку в онлайн-кинотеатрах и другие спецпредложения.
Анкета кандидата
Пожалуйста, заполните эту анкету, чтобы мы могли познакомиться с вами поближе.
- ОткликПодача резюме или заполнение анкеты
- ОтборПрохождение интервью и/или выполнение тестового задания
- ОфферПолучение обратной связи и предложения о работе
Резюме
У меня есть файл с резюме
Дам ссылку на профиль
Прикрепить резюме
Размер не более 15 мб (pdf, doc, docx)
Имя
Фамилия
Электронная почта
Мобильный телефон
Город
Расскажите о себе
Соглашаюсь на обработку персональных данных в соответствии с политикой
Хочу получать рассылки от YADRO
Отправить
Что-то пошло не так
Проверьте вводимые данные и попробуйте отправить форму ещё раз
