• ITSM Service Now Engineer

    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
    GovCIO (12/20/25)
    - Related Jobs

  • Sr. Design Engineering Architect - Front End

    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
    Cadence Design Systems, Inc. (12/10/25)
    - Related Jobs

  • FPGA Development Engineer, Annapurna Labs

    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
    Amazon (10/28/25)
    - Related Jobs

  • Principal Product Manager - Cloud Security

    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
    Oracle (12/20/25)
    - Related Jobs

  • Senior Software Engineer

    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
    Axiom Space (12/05/25)
    - Related Jobs

  • Test Engineer - Robotics Software Stack

    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
    Insight Global (11/19/25)
    - Related Jobs

  • Software Quality Sr Engineer

    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
    Zimmer Biomet (12/17/25)
    - Related Jobs

  • Physical Design Methodology Engineer, Annapurna…

    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
    Amazon (12/02/25)
    - Related Jobs

  • Lunar Terrain Vehicle (LTV) Software Engineer…

    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
    Axiom Space (11/12/25)
    - Related Jobs

  • Systems Engineer, Integration and Test - level 2

    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
    Lockheed Martin (11/06/25)
    - Related Jobs