- Qualcomm (Santa Clara, CA)
- …with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the ... in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model checking or theorem… more
- Amazon (Cupertino, CA)
- …Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and ... to deliver high performance at low cost. Responsibilities: - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work… more
- Amazon (Austin, TX)
- …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 ... and September 2025. * Completed coursework or prior internship experience with formal methods (SW/HW) * Coursework or prior internship experience in the basics… more
- Amazon (Seattle, WA)
- …of scientists from around the world. Expertise areas include SAT/SMT solvers, formal methods , program analysis, machine learning, neuro-symbolic AI, and ... Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge representation… more
- Amazon (Arlington, VA)
- …Programming and reasoning about in Rust programming language - Experience in RTL formal verification methods - Creating and validating mathematical models of the ... a Principal Applied Scientist to help define and drive formal verification of hardware, software, and RTL (FPGA) code...the ground up and will help drive automated reasoning methods to deliver strong security guarantees to our customers.… more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * 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… more
- Amazon (Seattle, WA)
- …Scientist at Amazon Prime Air you will: Develop the value proposition for formal verification, runtime assurance, and other methods for software under ... Science, Mathematics, or Computer Engineering - Experience in RTL formal verification methods - Creating and validating mathematical models of the behavior… more
- Leidos (Arlington, VA)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under… more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- New York University (New York, NY)
- …research in this area -Attending and engaging in discussions in a weekly seminary on formal methods Candidates should have interest and experience in one or more ... Seeking "Expressions of Interest" from Postdoctoral Researchers interested in formal verification of randomized programs to work with Professor Joseph Tassarotti in… more
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods