- Axiom Space (Houston, TX)
- …development + Experience in unit testing, software-hardware integration testing, and formal verification activities for flight software certification + ... marketplace. Our mission-driven team is seeking a bold and dynamic Senior Software Engineer who is fueled by high ownership, execution horsepower, growth… more
- NVIDIA (Santa Clara, CA)
- NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance ... Computing Solutions. As a Formal Verification Engineer , you will play a key role in ensuring the functional correctness and completeness of our next… more
- NVIDIA (Santa Clara, CA)
- …the team and see how you can make a lasting impact on the world. As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of ... position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure… more
- NVIDIA (Santa Clara, CA)
- Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI ... capabilities into formal verification tasks. As a part of this team, you will play a key role in ensuring functional correctness and completeness of our next… more
- Amazon (Cupertino, CA)
- …to deliver high performance at low cost. Key job responsibilities - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - ... engineering, or related field - 7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal … more
- Butler America (Buena Park, CA)
- Title : Sr . Software Verification Engineer Job ID#: 71737 Duration: Permanent Location: Buena Park, CA Salary Range: $120,000 - $140,000 (based on education ... and experience) Job Summary The Sr . Software Verification Engineer will...Python programming + Ability to identify, track, and resolve verification process/environment/artifact issues in a formal configuration… more
- Medtronic (Lafayette, CO)
- … Verify FPGA systems and components using constrained random methodologies including UVM and Formal Verification Collect and refine FPGA and SOC verification ... recommendations on process improvements. **Communication and Influence:** Communicates with senior internal and external customers and vendors. Exchange information… more
- Amazon (San Diego, CA)
- …. Participate in the validation of ASIC implementations in Verilog/SystemVerilog . Run formal verification of complex blocks to ensure functional correctness . ... Matlab model : development or DV integration experience - Familiarity with formal verification techniques - Strong written and verbal skills Amazon is an equal… more
- Lockheed Martin (Boulder, CO)
- …you\. Are you looking to develop your career as a Systems Integration and Test Engineer ? Do you want to be part of a dynamic, fast\-moving, high performance team all ... role look like?** As a Systems Integration and Test Engineer on the Space Based Infrared System program you...to ensure completeness of test program * Independently author formal test procedures, standard operating procedures, and data reports… more
- Chenega Corporation (Reston, VA)
- …specifically related to the functional components. Additionally, theData Engineer Sr .provides insight and advice to senior managers and executives concerning ... Data Engineer , Sr . Reston, VA Join our...strategic and tactical recommendations with sufficient rationale to advise senior leader decisions relative to the applicability and application… more