- 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
- Target (Brooklyn Park, MN)
- …into the technical architecture and design to deliver robust and scalable software components. You constantly demonstrate the depth of your expertise by solving ... engineering problems. You are passionate about the quality of software and balance between speed of delivering new features...that can influence both. **About this Team:** ATP Ship Methods is one of the most complex systems in… more
- COLSA Corporation (Shalimar, FL)
- …reviews, and analyzes test plans, procedures, metrics, and reports throughout the software development life cycle. Develops and writes methods of tests, ... from on-the-job training with other team members , to formal courses for unique technology areas. The team is...unique technology areas. The team is searching for a software tester to support the 45th Test Squadron, the… 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 **Sr. Software Engineer (Applications)** one works with and is mentored by a talented group of engineers ... In this role, one plans, designs, develops and tests software systems or applications for software enhancements...guidance and mentoring to less experienced engineers + Demonstrates methods and procedures on new assignments and may coordinate… 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
- 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