YADRO Microprocessors

Compiler Developer — System Verification Tools

Департамент: Разработка микропроцессоров
Расположение: Москва, Санкт-Петербург, Минск, Нижний Новгород
Тип занятости: Работа в офисе, Удалённая работа
Уровень: Специалист, Старший, Ведущий
Технологии/навыки: C++, Linux

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.

We offer:

  • Become a part of the global process of transformation of microelectronics and create the latest RISC-V CPU, SoC and IP;
  • Hybrid or remote format: you can work in a comfortable loft-office in Moscow (Trekhgornaya Manufactory) or Saint Petersburg (Polustrovo), remotely from home, incl. from another city;
  • Possibility to choose a convenient start and end of the working day;
  • Competitive salary level (ready to appreciate your knowledge and experience) + performance bonuses;
  • Training/certification by the company (according to the agreed plan);
  • Ability to grow horizontally and vertically, and depending on results and interests to move between projects and teams;
  • Voluntary medical insurance from the start day.

Мы предлагаем:

  • Программу поддержки инноваций:

    Премии за регистрацию патентов, создание результатов интеллектуальной деятельности

  • Поддержку в личных вопросах:

    консультации юристов, психологов, экспертов по ЗОЖ и управлению финансами

  • Обучение и развитие:

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

  • Заботу о здоровье:

    ДМС с первых дней работы, льготные условия страхования близких

  • Лекторий с выдающимися экспертами:

    инженерами, учеными и исследователями

  • Открытое общение:

    регулярные онлайн-встречи всей команды YADRO

Мы предлагаем:

  • Программу поддержки инноваций:

    Премии за регистрацию патентов, создание результатов интеллектуальной деятельности

  • Поддержку в личных вопросах:

    консультации юристов, психологов, экспертов по ЗОЖ и управлению финансами

  • Обучение и развитие:

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

  • Заботу о здоровье:

    ДМС с первых дней работы, льготные условия страхования близких

  • Лекторий с выдающимися экспертами:

    инженерами, учеными и исследователями

  • Открытое общение:

    регулярные онлайн-встречи всей команды YADRO