- 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
- 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
- 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
- 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
- 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
- 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