- 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
- Bosch (Pittsburgh, PA)
- …team in developing solutions that apply machine learning/deep learning algorithms and formal methods to security and privacy problems. Example applications ... include, but are not limited to, utilizing AI and formal methods to analyze software vulnerabilities, modeling of secure systems, automation of security… 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
- Microsoft Corporation (Redmond, WA)
- …Reliability - Microsoft Research** areas such as distributed systems and reliability, formal methods and verification, machine learning for system reliability, ... of the following core areas of research: datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems,… more
- Maritime Administration (Kings Point, NY)
- …process, treat, form, or shape metal. Teaching - Help others learn through formal or informal methods ; identify training needs; provide constructive feedback; ... Demonstrate knowledge of welding technology and welding instruction, welding methods in a classroom/laboratory environment. Be responsible for the operation,… 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 ... static and dynamic analyses tools and techniques, as well as applied formal methods tools. + Technical communication: Documenting designs, writing reports… more
- KBR (Chevy Chase, 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
- Battelle Energy Alliance dba Idaho National Laboratory (Idaho Falls, ID)
- …Apply and/or evaluate security protocols, firewalls, intrusion detection systems, cryptography, formal methods , or security models to protect government systems. ... operating systems, network protocols, cryptographic protocols, and modeling, application of formal logic, and algorithmic analysis and design. You will report to… more
- Amazon (Austin, TX)
- …stimulus of a custom Machine Learning Accelerator Chip. Content creation is built using formal methods that model legal behavior of the design and then solving ... constructed. Create coverage metrics to ensure solution space coverage. Use novel methods like machine learning to automate content creation. About the team Utility… more
- Penske (Duluth, GA)
- …in place at all locations. * Measures associate's progress and performance through both formal methods (PCM, reports and metrics) and informal methods ... (management by walking around). * Interview and hire salaried associates up to Operation Manager level. * Involve team members in business planning and decision making to develop their skills in this area. * Identify issues with the operating metrics and P&L… 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
- Oracle (Salt Lake City, UT)
- …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
- Palo Alto Networks (Santa Clara, CA)
- …performance, and power targets. + **Verify** your blocks with simulation, emulation, formal methods , and silicon bring-up. + **Collaborate** with verification ... with DDR5 memory, Ethernet (IEEE 802.3), or search-algorithm accelerators. + Formal -verification ownership. + Hands-on silicon validation and lab bring-up. **The… 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)
- …in the training and development of more junior Business Analysts through formal and informal methods . **FLSA STATUS** Exempt **QUALIFICATIONS** **EDUCATION** + ... in order to exceed clients' expectations. Provides training for team members through formal and informal methods . + Fosters relationships and engages in regular… more
- Highmark Health (Madison, WI)
- …based on team member abilities & interests while providing opportunities to learn through formal and informal methods . Develop the ability of others to uncover ... organization by providing ongoing feedback and opportunities to learn through formal and informal methods . + Engage, motivate, and lead team in a positive manner… more
- System One (Hartford, CT)
- …their scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. ... Projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally. They invest in the unknown, applying our curiosity and desire for positive change to… more
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Formal Methods Research Intern,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Engineer Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods