Senior Compiler Developer - System Verification Tools

Syntacore (YADRO group) – semiconductor IP company creating customizable microprocessor cores, technologies and software tools based on RISC-V ISA, founding member of RISC-V International. Our clients and partners are key companies from US, Asia, Europe and Russia, developing computational platforms, storage systems, personal and smart devices, including high-performance heterogenous multicore systems with complex specialization and ISA extensions manufactured using the latest technologies up to 5nm.
We are active member of conferences and working groups on RISC-V standardization and open-source projects. Our open-source SCR1 core published under permissive license became one of the most popular RISC-V processor GitHub projects.

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.