Lead Software Engineer: Jasper R&D
Core
Lead software engineering for the Jasper Formal Verification Platform, resolving complex challenges from design to release.
Role type
Lead Software Engineer (C++)
Builds
Jasper Formal Verification Platform for semiconductor/electronics design
Domain
EDA (Electronic Design Automation), Formal Verification, Chip Design
Deliverable
product features
Required skills
C++, data structures and algorithms, object-oriented design, technical leadership, mentoring
Preferred skills
hardware verification techniques, formal verification, Verilog, VHDL, Python, Tcl
Technologies
C++, Python, Tcl, Verilog, VHDL
Responsibilities
Lead resolution of complex engineering challenges, contribute to large-scale C++ codebase, provide technical leadership and mentoring to junior developers
Seniority
Lead, hands-on IC with mentoring duties
Sourced via workday · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.