Pros
Good work culture. nice pay good and helping staffCons
too much of work loadPlatform Security Software Intern to develop security extensions, fuzzing and testing tooling for system software across kernel, hypervisor and firmware.
Work on formal verification of high-performance RISC-V CPUs, fabrics, and accelerators, applying model checking and theorem proving to prove properties and uncover design issues.
Work on compiler and toolchain development for the RISC-V ecosystem, contributing features and optimizations to LLVM/GCC/binutils while collaborating with silicon and architecture teams in a remote, open-source-focused environment.
Rivos is hiring a Member of Technical Staff to lead pre-silicon functional verification of accelerator units and clusters using coverage-driven methodologies.