- GovCIO (San Antonio, TX)
- …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... services, equipment and devices. + Generates ITSM system level requirements verification procedures and customer acceptance test procedures. + Monitors ITSM system… 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
- Amazon (Austin, TX)
- …Electrical or Communications Engineering or a related field - Experience with formal verification techniques including abstraction and end-to-end checking - ... edge FPGA accelerator products - Implement and improve simulation (design verification ) testing across the product lifecycle - Strong skills presenting technical… more
- Oracle (Austin, TX)
- …security services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification , compilers, or new language development for high-assurance systems. ... Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building… more
- Axiom Space (Houston, TX)
- …5 people. + Experience in unit testing, software-hardware integration testing, and formal verification activities for flight software certification. + Experience ... patterns, and development methodologies. + Strong understanding of software verification , validation, and documentation practices. + Demonstrated experience in code… more
- Insight Global (Austin, TX)
- …Simulation & V&V: Proficiency with robotics simulation platforms and an understanding of formal Verification & Validation (V&V) methodologies. * Safety & AI: ... attention to detail and a refusal to trust abstractions without verification . * Robotics & Hardware Integration: Demonstrable experience working with complex… more
- Zimmer Biomet (Austin, TX)
- …C++ Past expereince working with Selenium for Automated Testing + Familiar with formal verification including test coverage analysis + Ability to develop clear ... / automated), test scripts and test data. + Prepare formal test reports from the execution of test cases....working in a regulated environment + Experience in drafting formal requirements **Physical Requirements** **Travel Expectations** Up to 15%… more
- Amazon (Austin, TX)
- …physical design flows, and methodologies including synthesis, place and route, STA, formal verification . - Proven track record of delivering metric driven ... PPA flow development and support. Preferred Qualifications - Demonstrated level of expertise in PD tools such as Innovus, ICC2, FusionCompiler, STA, and Sign-Off. - Experience in evaluating multiple vendor solutions and driving tool decisions. - Experience in… more
- Axiom Space (Houston, TX)
- …development + Experience in unit testing, software-hardware integration testing, and formal verification activities for flight software certification + ... Experience in software safety reviews + Track record of delivering outcomes in ambiguous, fast-moving environments + Uses good judgement to problem-solve proactively, positively impacting hard challenges + Proven to deliver high quality results under tight… more
- Lockheed Martin (Fort Worth, TX)
- …FA\-50 upgrades and new production aircraft\. This includes integration testing and formal verification in a desktop environment, lab environment, and support ... of flight test\. **What You Will Be Doing** As the Systems Engineer you will be responsible for working with your assigned agile team to conduct avionics system level testing across various F\-16 aircraft configurations for your team's assigned capabilities\.… more