- Micron Technology, Inc. (Minneapolis, MN)
- …PLL, DLL, CDR). + Experience with industry-standard tools for synthesis, linting, formal verification , etc. + Demonstrated curiosity and eagerness to learn ... ASICs and memory controller IP. + Collaborate with teams across Design Verification , Analog Design, Synthesis, and Lab Validation. + Assist in integrating digital… more
- Collins Aerospace (Marlborough, MA)
- …System Engineering experience a plus), assessing security vulnerabilities, and formal cybersecurity verification (including vulnerability scanning). The ... Validation * Support cybersecurity requirement decomposition, allocation, implementation, and verification utilizing system engineering practices * Analyze system requirements,… 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
- Oracle (Atlanta, GA)
- …familiarity with OCI, AWS, Azure, or GCP security services. + Exposure to formal verification , compilers, or new language development for high-assurance systems. ... and balance feature requirements, usability, compliance, and regulatory needs. + Formal Methods & Programming Languages - advancing verification techniques… more
- Oracle (Nashville, TN)
- …policy enforcement, traffic isolation, or Zero Trust patterns. + Interest in formal verification tools, compilers, or programming language design. + Knowledge ... + ** Formal Methods & Programming Languages** - exposure to verification techniques or building tools for security-critical systems. + Ability to communicate… more
- Lockheed Martin (Arlington, VA)
- …* Conducted research in at least one more adjacent area such as formal verification /methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and ... our areas of research to lead future technology advances in applied formal methods, simulation, test, verification , validation, and certification of autonomous… more
- Lockheed Martin (Huntsville, AL)
- …for completion * Follow and own requirements all the way from conception to formal verification in Formal Qualification Tests \(FQTs\) * Generate MBSE ... * Understanding of Agile development practices * Experience writing acceptance criteria/ verification criteria **Desired Skills:** * Experience being a Product Owner… more
- NVIDIA (Santa Clara, CA)
- …of our Memory Subsystem Design team, you will collaborate with architects/design verification / formal verification /physical design team to deliver a ... world-class solution. NVIDIA SOC Interconnects are among the industry's most sophisticated because of the complex area, latency, power, bandwidth and quality-of-service requirements. + In this position, you will have the opportunity to be responsible for the… 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
- Amazon (Seattle, WA)
- …, and documentation. -Perform prototype hardware and systems in labs. -Perform formal verification testing including DO-160 and DO-254 If this sounds ... like the role for you, come make history with us! Basic Qualifications - Experience in component selection and understanding of component reliability - Experience in motherboard design, PCB design including schematic capture, stackup and circuit board layout -… more