- Amazon (Austin, TX)
- …to our customers. We design and build every component of our hardware and software to come together into products that our customers use for accelerated computing ... 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… more
- Belay Technologies (Annapolis Junction, MD)
- …and a finalist in 2021! Belay Technologies is seeking a Mid or Senior Security Verification Test (SVT) Software Engineer to join our intel team. Security ... Verification Test (SVT) Software Engineer : Must have demonstrated experience with...will analyze and study complex system requirements, use design software tools, provide support using formal specifications,… more
- Belcan (West Palm Beach, FL)
- Software Verification Engineer Job Number: 348797 Category: - Software & Systems SBU Description: A Software Engineering job with a focus on DO-178 ... software verification is currently available at Belcan. This job can.... Strong knowledge in DO-178 methodologies . Experience with formal version control and structured development/ verification practices… more
- BAE Systems (Annapolis Junction, MD)
- …incentives may be available based on position level and/or job specifics. **Security Verification Test (SVT) Software Engineer ** **100955BR** EEO Career Site ... programming, serialization/deserialization, and dependency injection. **Primary Responsibilities** The **SVT Software Engineer ** will be responsible for … more
- Leidos (Annapolis Junction, MD)
- …development training opportunities and tuition reimbursement programs! We are hiring a Sr. Software Engineer (Security Verification Test/SVT). In this role, ... programming, serialization/deserialization, and dependency injection. **Primary Responsibilities:** The Sr. Software Engineer **SVT** will actively participate in… more
- Vector North America, Inc. (East Greenwich, RI)
- …we are working remotely. Responsibilities + Advanced development in the areas of software verification and formal methods. + Brainstorming and prototyping ... research group and help design the next generation of software verification tools. We are seeking an...verification tools. We are seeking an experienced Research Engineer to join our team in East Greenwich, RI.… more
- Siemens Digital Industries Software (Wilsonville, OR)
- … methodology, VHDL, Verilog and SystemVerilog simulations, Clock domain crossing verification , Formal Verification , and Assertion-Based Verification ... verification , PCB design and manufacturing solutions, cable harness tools, and embedded software . As an Associate Application Engineer , you will be involved… more
- Meta (Austin, TX)
- …12. Experience with verification techniques beyond simulation - like assertions, formal , emulation and software -driven verification 13. Experience in EDA ... **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization....you will be able to use other approaches like Formal and Emulation to achieve a bug-free design. The… more
- Meta (Menlo Park, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification - SV Assertions, Formal , Emulation. 14.… more
- Meta (Austin, TX)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification - SV Assertions, Formal , Emulation 12.… more
- Microsoft Corporation (Redmond, WA)
- …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
- Cadence Design Systems, Inc. (San Jose, CA)
- …tools, and state-of-art verification approaches and tools (eg, UVM, MDV, formal approaches, software -driven verification , vManager, CocoTB) + Strong ... team at Cadence in Europe, the Digital Design and Verification Engineer will work closely with SoC...We are a global electronic design automation company, providing software , hardware, and intellectual property to design advanced semiconductor… more
- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...you will be able to use other approaches like Formal and Emulation to achieve a bug-free design. The… more
- Meta (Austin, TX)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...you will be able to use other approaches like Formal and Emulation to achieve a bug-free design. The… more
- Siemens Digital Industries Software (Fremont, CA)
- …across a range of areas from application engineering support and management, verification and validation of complex semiconductor ICs, system testing, and beyond? If ... and customer awards, Siemens EDA is the world's largest provider of Digital Software to the semiconductor industry. We enable companies to develop better electronic… more
- Meta (Redmond, WA)
- …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 (Boulder, CO)
- … 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
- Microsoft Corporation (Mountain View, CA)
- …clients, and augmented reality. We are looking for a **Senior Design Verification Engineer ** to work on leading-edge Intellectual Property (IP) development ... of custom Intellectual Property (IP) components. + Define pre-Silicon verification (simulation/emulation/ formal proofs/field-programmable gate array (FPGA) and… more
- Leonardo DRS, Inc. (Melbourne, FL)
- …through all software lifecycle phases from requirements definition through verification and release. This engineer works closely with engineering teams ... combat vehicle integration products and services. **Job Summary** This Software Quality Assurance (SQA) Engineer will provide...environment. + Includes documentation of results for use in formal reports. + Involved with the verification … more
- Huntington Ingalls Industries (Roanoke, VA)
- …interests in cyberspace. Our deep expertise in network architecture, software and hardware development, cybersecurity and the electromagnetic environment uniquely ... to meeting you. Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers who can… more