- NVIDIA (Santa Clara, CA)
- …based SOCs + Prior hands-on experience in Ada/SPARK programming (including specification and formal verification ) and TLA+ formal verification modeling ... strong C and/or Ada/SPARK programming skills, and experience with formal methods, we want to hear from you! Join...revolutionizing the industry. We are making extensive use of formal methods to automate our work flow and increase… more
- Palo Alto Networks (Santa Clara, CA)
- … formal methods, and silicon bring-up. + **Collaborate** with verification engineers to debug complex scenarios, close coverage, and add design-for-debug ... with DDR5 memory, Ethernet (IEEE 802.3), or search-algorithm accelerators. + Formal - verification ownership. + Hands-on silicon validation and lab bring-up.… more
- Actalent (Anaheim, CA)
- …for the Integration & Testing (I&T) of maritime programs. This role involves formal verification , formal validation, and system integration. Additional ... + Conduct integration and testing of maritime programs. + Perform formal verification and validation processes. + Support the creation of architectural drawings… more
- SpaceX (Sunnyvale, CA)
- …of design blocks using Verilog/SystemVerilog + Familiar with UPF (unified power format), formal verification , and DRC rule checking experience + Ability to work ... RTL and physical design Scan Design Rule Check (DRC) tools + Integration and verification of Design for Test (DFT) fabrics and IP within Subsystems + Running and… more
- Cadence Design Systems, Inc. (Austin, TX)
- …pre-silicon verification activities, including Lint, Clock Domain Crossing (CDC), Formal Verification (FV), and other quality checks. Collaboration: Work ... closely with cross-functional teams, including Design Verification (DV), Physical Design (PD), Architecture, and firmware engineers, to ensure successful delivery.… more
- GovCIO (Frankfort, KY)
- …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... network services, equipment and devices + Generates system level requirements verification procedures and customer acceptance test procedures + Monitors system… more
- Northrop Grumman (Melbourne, FL)
- …the product baseline under configuration control, managed and authorized for final formal verification activities by the technical community towards completion ... as a whole. The resulting product configuration baseline supports system verification and any other required system level testing. Early interface development… more
- Broadcom (Fort Collins, CO)
- …RTL design to synthesis, RTL/ netlist audits (using tools such as Spyglass), Formal verification , constraints development and analysis w/ emphasis on CDCs in ... Design: SerDes Digital IP Design Engineer:** Oversees definition, design, verification co-definition, and documentation for SerDes development. Performs architecture… more
- Actalent (Minneapolis, MN)
- …field required; BSEE or CS preferred. + 1-4 years of experience in firmware formal verification and validation product testing and requirements. + At least 1 ... Validation, test plan development, software testing, firmware, and hardware. + Design verification and full system testing. + Ability to read and interpret… more
- NVIDIA (Santa Clara, CA)
- …verification methodologies, such as UVM + Proficiency with static timing and formal verification tools + Excellent communication and leadership skills, with ... such as filters and analog calibration circuits + Ensure verification of digital designs using direct and random testing...Establish and maintain standard methodologies for mixed-signal design and verification What we need to see: + MS or… more
Recent Jobs
-
Retail Sales Associate - Full Time
- Boll & Branch (Edina, MN)
-
Certified Occupational Therapy Assistant - Bagley - PRN
- Sanford Health (Bagley, MN)
-
Physician Assistant - Primary Care
- Cambridge Health Alliance (Somerville, MA)
-
Residential Whole Loan Trader
- Janus Henderson Investors (Denver, CO)