Formal Verification Engineer — Nvidia | cvGO!

Nvidia · Israel, Yokneam · Office

### О роли Разработка и внедрение формальных методов верификации для GPU и систем ИИ. Обеспечение корректности RTL-дизайна на уровне свойств и моделей. ### Обязанности - Разработка формальных спецификаций и свойств (SVA) для ключевых модулей - Формальная верификация (Synopsys VC Formal, Cadence Jasp