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 methodsFamiliarity with tools to prove security properties of a system or find vulnerabilitiesFamiliarity with System verilog, FPGA toolsFamiliarity with mapping security primitives to low-level hardware interfaces, and impact on hardware-software codesign is a plusFamiliarity with (RISC-V) assembly / C / C++ / Rust is a plusExcellent skills in problem solving, written and verbal communicationHighly self-motivated and able to work well in a team under aggressive schedulesEducation :
Typically enrolled in a Masters / Ph.D. program in CS / CE / EEWe may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.