- Cadence Design Systems, Inc. (Austin, TX)
- …+ Python / Tcl scripting skill + Background knowledge for digital chip design ( formal verification ) The annual salary range for California is $92,400 to ... R&D group to develop leading edge software for physical verification products at advanced node. You will work on...geometric in nature requiring strong math and engineering background. New College Grad (Class of 2024) with BS or… more
- Amazon (Austin, TX)
- …be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of a ... & Career Growth Our team is dedicated to supporting new team members in an environment that celebrates knowledge...2025 * Completed coursework or prior internship experience with formal methods (SW/HW) * Coursework or prior internship experience… more
- Microsoft Corporation (Austin, TX)
- …turning ideas into production systems at a rapid pace. Join us as a Senior Verification Engineer to build the world's fastest public cloud and make a difference ... millions of people across the planet. As a Senior Verification Engineer in the Accelnet Hardware team,...IPV4, IPV6, TCP, UDP, DTLS, among others, + AND formal verification + 10+ years of project… more
- Meta (Austin, TX)
- …entire stack, from transistor, through architecture, to firmware, and algorithms. As a Design Verification Engineer at Meta Reality Labs, you will work with a ... multiple state of the art IPs. **Required Skills:** Design Verification Engineer Responsibilities: 1. Work with researchers...or more of the following areas along with functional verification - SV Assertions, Formal , Emulation. 12.… more
- Meta (Austin, TX)
- …the entire stack, through algorithms to architecture, transistors to firmware. As a Design Verification Engineer at Meta's Reality Labs, you will work with a ... state of the art graphics IPs. **Required Skills:** Design Verification Engineer Responsibilities: 1. Work with cross-functional...or more of the following areas along with functional verification - SV Assertions, Formal , Emulation. 12.… more
- Siemens Digital Industries Software (Austin, TX)
- … verification methodologies is essential. + Experience with emulation methodology, static verification , and/or formal verification is a plus. + Good ... of Siemens EDA's leading-edge functional verification solutions. As a Functional Verification Application Engineer , you will: work with account managers to… more
- Amazon (Austin, TX)
- …methodology - Develop, regress and deploy digital implementation flows including Synthesis and Formal Verification - Enable digital design teams to meet PPA ... Come work at Amazon! The Role: As Senior CAD Engineer you will be responsible for installing and maintaining...and debugging techniques - Familiar with basic Synthesis and Formal Verification methodology and flow development experience… more
- BAE Systems (Austin, TX)
- …using MBSE/SYSML tools such as MagicDraw/Cameo + Experience with development of formal validation and verification procedures. + Experience with Multi-core and ... in validation for complex avionics control systems. As a systems architecture engineer in our organization, you will be responsible for ensuring successful technical… more
- Microsoft Corporation (Austin, TX)
- …In this role you will: + Establish Logical Equivalence Checking (LEC)/ Formal Equivalence Verification (FEV) methodology for hierarchical and block-level ... the Microsoft silicon engineering organization. We are looking for a **Senior Silicon Engineer ** to join our team! **Microsoft's mission is to empower every person… more
- Hensel Phelps (Austin, TX)
- …Offers are Contingent Upon Successful Completion of the Following:** + Verification of Work Authorization and Employment Eligibility + Substance Abuse Screening ... throughout the life of the property. **Position Description:** The Lead VDC Engineer manages the information that utilizes the building model. This position supports… more
- GovCIO (Austin, TX)
- …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... **Overview** GovCIO is currently hiring a Systems Engineer to Ensures the highest level of systems...and documentation of the design concepts. + Installs all new hardware, systems, and software for networks. + Designs,… more
- Verint Systems, Inc. (Austin, TX)
- …the entire EdgeVMS portfolio of products. The solutions design group sales engineer will ensure that the Customer Experience is exceptional, positive, and efficient, ... market leader for advanced financial intelligence solutions. The SDG Sales Engineer partners with Regional Sales Managers, Sales Management, our Integrator Partners'… more