Software Engineer I: Jasper R&D
Core
Developing and validating new solutions for Jasper, a formal verification tool, and pushing boundaries in formal engines, HDL synthesis, and graph modeling.
Role type
Software Engineer I (Formal Verification & Systems)
Builds
Formal verification tools and next-level technologies for electronic design automation
Domain
Semiconductor design, EDA, VLSI
Deliverable
production ML models | product features
Required skills
C++, advanced data structures and algorithms, graph theory, formal methods basics
Preferred skills
formal verification, simulation, Verilog, VHDL, EDA/VLSI design
Technologies
Jasper, C++, Verilog, VHDL
Responsibilities
Develop and validate new solutions for Jasper formal verification tool; Collaborate on advancing formal engines, HDL synthesis, and graph modeling technologies.
Seniority
Junior, hands-on IC
Sourced via workday · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.
