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.