- Loyola University Chicago (Chicago, IL)
- …engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any ... We value diverse research methodologies, including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors… 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
- Leidos (Arlington, VA)
- … formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. If you're looking for ... seeking a motivated intern to support our work in formal methods research. The position will be...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- NVIDIA (Santa Clara, CA)
- …performance and virtualization support in the SOC + Extensively use Formal Methods to architect and develop high integrity software + Design debugging ... have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and...strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from… more
- AeroVironment (San Diego, CA)
- **Worker Type** Regular **Job Description** **Summary** As a **Sr. Staff Software Engineer (Applications)** leads and mentors a talented group of engineers in a fast ... one leads the plans, design, development and testing of mission systems flight software . **Position Responsibilities:** + Software development in support of AV's… more
- AeroVironment (Moorpark, CA)
- **Worker Type** Regular **Job Description** **Summary** As a **Principal Software Engineer (Applications)** leads and mentors a talented group of engineers in a fast ... environment. In this role, one oversees plans, design, development and testing of software systems or applications for software enhancements and new products… 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
- JPMorgan Chase (New York, NY)
- …functions in support of the firm's business objectives. **Job responsibilities** + Formal training or certification on software engineering concepts and 5+ ... Spring, AWS, Oracle, and Postgres **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and… more
- Abbott (Sylmar, CA)
- … + Experience with Python and/or Java is required + Experience with formal software development methodologies, and source code management is recommended + ... **Sylmar, CA** currently has an opportunity for a **Sr. Software Engineer.** Perform specialized level software project...Class II medical Devices such as ICD's, Pacemakers. Conduct formal reviews of test designs and test scripts to… more
- Northrop Grumman (Colorado Springs, CO)
- … 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