Sort by
Refine Your Search
-
PNRR, in particular in the field of model-based systems engineering (MBSE) and the development of a model-based digital twin facilitating a fast and rigorous requirements verification process within
-
formal verification and/or control, and a strong interest in inter-disciplinary research. Experience with hybrid systems and the field of formal verification and synthesis in general, is a strong asset
-
Design & Verification: Develop and verify RTL code in SystemVerilog/Verilog to ensure robust digital VLSI design. Optimization & Physical Implementation: Drive the process from synthesis through place-and
Searches related to verification
Enter an email to receive alerts for verification positions