- RTX Corporation (Cambridge, MA)
- …team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development ... strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic… more
- RTX Corporation (Cambridge, MA)
- …Technologies** team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join ... 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
- MIT Lincoln Laboratory (Lexington, MA)
- …to our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems ... in a range of research and engineering activities, from software design and system integration to testing and evaluation....dynamic analyses tools and techniques, as well as applied formal methods tools. + Technical communication: Documenting… more
- Leidos (San Diego, CA)
- …in Golang, Java, and Matlab. + Knowledge and interest in memory safe software and formal methods for resilient systems. **Preferred Qualifications** ... of Defense customers. We are currently seeking a Senior Principal Scientific Software Engineer with a focus in camera sensors and real-time applications with… more
- MIT Lincoln Laboratory (Lexington, MA)
- …to our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems ... Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including… more
- Microsoft Corporation (Redmond, WA)
- …desire to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, ML systems, programming languages, and ... will be ready to submit your letter. **Preferred Qualifications** + Expertise in formal methods , including experience improving theorem provers and proof tools,… more
- UKG (Ultimate Kronos Group) (Seattle, WA)
- …for a talented and passionate Sr. User Experience Researcher to lead mixed methods research that informs investments across UKG's AI portfolio. You will work with ... **Responsibilities:** + Conduct research studies using UXR qualitative and quantitative methods , and behavioral/log data analysis that deepen our understanding of… more
- Amazon (Seattle, WA)
- …the value proposition for formal verification, runtime assurance, and other methods for software under development and drive building these approaches into ... runtime assurance, new testing approaches, metric collection, and other methods to software systems. You will be...every area of our software development processes. Write, validate, and maintain … more
- Leonardo DRS, Inc. (Burnsville, MN)
- …systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using technologies such ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software... formal deliveries. Job focus areas include leading software engineering activities in software architecture applied… more
- Northrop Grumman (Huntsville, AL)
- … software deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software development environment * ... with the lead test engineer and a team of software developers to establish and develop test methods...data analysis, and develop test documentation * Participate in formal testing events, customer meetings, and software … more