Rust SW-Silicon Co-verification Engineer
Core
Write Rust tests to verify software models and hardware design agree with specifications, building test infrastructure to catch mismatches before silicon bugs.
Role type
Rust SW-Silicon Co-verification Engineer
Builds
Test infrastructure and harnesses connecting software models to hardware designs
Domain
Semiconductor hardware verification / GenAI silicon
Deliverable
production ML models | product features
Required skills
Production Rust, ownership, traits, generics with bounds, enums as sum types, Result<T, E> patterns, borrow checker, clean code, build systems, version control, CI workflows, low-level systems concepts, memory layout, concurrency, bit manipulation
Preferred skills
Hardware experience (FPGA, embedded, robotics), Rust FFI, Bluespec (BH/BSV), formal methods, model checking, property-based testing, computer architecture (pipelines, caches, interconnects)
Technologies
Rust, Bluespec
Responsibilities
Write Rust tests verifying software models and hardware design alignment with specifications; Build test infrastructure for scalable test execution; Develop harnesses connecting tests to hardware; Write targeted and randomized tests to explore corner cases; Collaborate with architects to translate specifications into testable properties
Seniority
Mid to Senior, hands-on IC
