- Leidos (Arlington, VA)
- **Description** Leidos is seeking a motivated intern to support our work in formal methods research. The position will be based out of our Arlington, VA office, ... and artifacts as part of developing test cases that entail the application of formal methods analysis techniques and tools. - Integrate and adapt formal … 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 ... formal verification as IP/Block owner, or equivalent academic experience in formal methods . - 7+ years of experience with formal verification techniques… more
- NVIDIA (Santa Clara, CA)
- …for the industry's leading chips. We are looking for outstanding candidates with knowledge of formal methods . The engineer will own the task of formal ... As a Formal Verification Engineer at NVIDIA, you will work...Developing scripts to automate the verification process. + Review formal setups and proofs with design and verification teams.… more
- NVIDIA (Santa Clara, CA)
- …(RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from you! Join us in ... of a team that is revolutionizing the industry. We are making extensive use of formal methods to automate our work flow and increase the quality of our SW. We… more
- Microsoft Corporation (Redmond, WA)
- **Overview** Research Intern - RiSE group ( Formal Methods , High-Performance Computing, ML Systems, Programming Languages, Software Engineering) Research ... to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, Macine Learning (ML) systems, programming… 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
- 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
- KBR (Bethesda, MD)
- …and apply current verification and validation paradigms, including model testing, simulation, and formal methods , to ensure the accuracy and reliability of AI ... current verification and validation paradigms, including model testing, simulation, and formal methods . + Experience developing with machine learning frameworks… more
- MIT Lincoln Laboratory (Lexington, MA)
- …Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. We bring ... programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including guiding… more
- Loyola University Chicago (Chicago, IL)
- …software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any phase of the ... including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors research, and mixed methods approaches.… 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
- Air Force Materiel Command (Wright-Patterson AFB, OH)
- …and consequences of potential problems and their solutions. 4. Knowledge of formal source selection methods , policies, and procedures; contracting negotiation, ... to the agency or multiple agencies using a wide range of contracting methods and types. Responsibilities 1. As part of an Integrated Acquisition Team, plans… more
- Air National Guard Units (OH)
- …and technical staff at NGB and Headquarters, US Air Force, through informal and formal methods of contact. Prepares briefings and data analysis for senior ... organizing and carrying out specific programs, evaluating and recommending changes in methods of operations. Experience in supervisory, staff or technical work which… more
- Oracle (Austin, TX)
- …Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building ... services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification, compilers, or new language development for high-assurance systems. + Knowledge… more
- Oracle (Atlanta, GA)
- …and balance feature requirements, usability, compliance, and regulatory needs. + Formal Methods & Programming Languages - advancing verification techniques ... with OCI, AWS, Azure, or GCP security services. + Exposure to formal verification, compilers, or new language development for high-assurance systems. + Understanding… more
- Oracle (Nashville, TN)
- …experience with isolation, segmentation, packet routing, or Zero Trust principles. + ** Formal Methods & Programming Languages** - exposure to verification ... policy enforcement, traffic isolation, or Zero Trust patterns. + Interest in formal verification tools, compilers, or programming language design. + Knowledge of… more
- Leonardo DRS, Inc. (Burnsville, MN)
- …services, operating systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using ... to solve software issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software engineering activities in… more
- Newegg Inc. (Ontario, CA)
- …+ Ensure all products and software comply with government standards through formal verification methods . + Recommend hardware and software improvements to ... + Ensure all products and software comply with government standards through formal verification methods . + Recommend hardware and software improvements to… more
- IBM (Albany, NY)
- …particularly as related to meta-complexity and foundation models * Knowledge of formal optimization methods * AI for algorithmic reasoning * Quantum-centric ... and innovation thrive. **Your role and responsibilities** Develop new mathematically grounded methods and algorithms in one or more of the following areas: numerical… more
- Houston Methodist (Houston, TX)
- …Assists in the training and development of more junior Business Analysts through formal and informal methods . **PEOPLE ESSENTIAL FUNCTIONS** + Engages and ... in order to exceed clients' expectations. Provides training for team members through formal and informal methods . + Fosters relationships and engages in regular… more