- RTX Corporation (Cambridge, MA)
- …Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in ... you will contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of… more
- RTX Corporation (Cambridge, MA)
- …team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting ... as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
- 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
- Leidos (Arlington, VA)
- …support the development of high-assurance, resilient software. + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… 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 (Dayton, OH)
- …+ 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
- Toyota (Plano, TX)
- …the business. + Participate in technology selection/vendor selection processes using informal or formal methods such as Request for Proposal (RFP). Also support ... others on technical and non-technical matters using written, verbal, and formal presentations to all levels of the organization and external partners.… more
- City of New York (New York, NY)
- …standard reporting tools and obtain regular partner and resident feedback through formal methods . Monitor performance of ongoing initiatives (eg volume of ... stakeholders and resources within the specific geographic area. 3. Establish formal partnerships, through an application and evaluation process, with relevant… more