Contribute to the design and verification of security functions in hardware for advanced architecture projects, working collaboratively in a fast-paced environment.
Responsibilities:
Architecture/microarchitecture definition, RTL Design/implementation of security functions
Hardware design security verification using formal and non-formal methods.
Requirements:
RTL design and / or verification tools, flows and methods
Familiarity with tools to prove security properties of a system or find vulnerabilities
Familiarity with System verilog, FPGA tools
Familiarity with mapping security primitives to low-level hardware interfaces, and impact on hardware-software codesign is a plus
Familiarity with (RISC-V) assembly/C/C++/Rust is a plus
Excellent skills in problem solving, written and verbal communication
Highly self-motivated and able to work well in a team under aggressive schedules
Education:
Typically enrolled in a Masters/Ph.D. program in CS/CE/EE
