Tech Stack

Description

You will verify security-critical designs by building UVM testbenches, developing Python automation, applying formal verification, and collaborating with cross-functional teams. This role offers the chance to influence methodologies and mentor junior engineers in a deep tech startup.

Requirements

• Strong background in UVM-based verification at IP and subsystem levels
• Proficiency in Python for tool development and automation
• Practical formal verification experience beyond app-based use
• Knowledge of cryptographic algorithms (AES, SHA, ECC, etc.) and hardware/software security
• Software-oriented thinking (C/C++ or scripting) for HW/SW co-verification

Responsibilities

• Build and extend UVM testbenches for cryptographic IPs and subsystems
• Develop Python-based tools and automation for verification productivity
• Apply formal verification creatively to prove tricky scenarios
• Debug at all levels from waveforms to algorithmic mismatches
• Define verification plans, coverage models, and test strategies