Lead Member of Technical Staff
Core
Develop and deliver new features for formal verification software, ensuring quality, scalability, and testability across the product portfolio.
Role type
Lead Member of Technical Staff (Software Engineer)
Builds
Questa product family for chip, board, and system design
Domain
Electronic Design Automation (EDA) / Formal Verification
Deliverable
production ML models | product features
Required skills
C++, data structures, algorithms, design patterns, Verilog, SystemVerilog, VHDL, Linux, git, gdb, makefiles
Preferred skills
Python, Perl, Bash, Tcl, formal verification, synthesis, simulation, assertions, coverage-based testing
Technologies
Questa, Verilog, SystemVerilog, VHDL, Linux, git, gdb, makefiles
Responsibilities
Design algorithms, write functional specifications, create comprehensive test plans, customize existing solutions, take ownership of specific components, mentor junior engineers
Seniority
Senior, hands-on IC with mentorship
