- Usaa (San Antonio, TX)
- …developing analysis queries and procedures in SQL, SAS, BI tools or other analysis software , and relevant industry data & methods and ability to connect external ... informal (Eg, Coursera, Udemy, Kaggle, Code Up, etc.) or formal (Eg Certifications or advanced coursework). Works with IT/CTO...procedures in SQL, SAS, BI tools or other analysis software , and relevant industry data & methods … more
- 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)
- …This position is ideal for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware-firmware ... Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and...a plus). + 3+ years of relevant experience in formal verification of hardware, software , or embedded… 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
- 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
- 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
- CACI International (Sterling, VA)
- Senior Software Application Developer Job Category: Information Technology Time Type: Full time Minimum Clearance Required to Start: None Employee Type: Regular ... CACI is currently looking for a motivated, career and customer-oriented Sr. Software Engineer/Developer with Agile methodology experience to join our Customs and… more
- Syms Strategic Group, LLC (SSG) (Ashburn, VA)
- Syms Strategic Group (SSG) is seeking a talented Senior Software Test Engineer Location: Remote Department: Veterans Affairs (VA) Type: Full Time Min. Experience: ... Project Managers, and Development Leads + Perform and lead tests and software and/or Information Technology (IT) systems to ensure proper operation and freedom… more
- Medtronic (Boulder, CO)
- …live better, healthier lives. The audit focus will be primarily medical device software , product cybersecurity, and risk management. We look for leaders who have a ... expertise (SME), and technical knowledge working with regulated medical device software and product cybersecurity requirements. + Remain informed on Regulatory… more
- Northrop Grumman (Melbourne, FL)
- …making history. **Northrop Grumman Aeronautics Systems sector** is looking for a ** Software Functional Manager** with a strong background in ** Software Assurance ... MDC2 program. The candidate should have a strong technical background in software development and embedded systems, including strong C/C++, software requirements… more
- AeroVironment (Huntsville, AL)
- **Worker Type** Regular **Job Description** **Summary** As a ** Software Engineer III (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...writing unit tests and debugging code + Experienced with formal and structured lifecycle development process + Experienced with… more
- JPMorgan Chase (New York, NY)
- …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... an adventure where you can push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Equity Derivatives Group you will join our… more
- JPMorgan Chase (Jersey City, NJ)
- …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... exciting and rewarding opportunity for you to take your software engineering career to the next level. As a...Life Cycle and proficiency in automation and continuous delivery methods + Advanced understanding of agile methodologies such as… more
- J&J Family of Companies (Jacksonville, FL)
- …Excellent understanding and application of principles, concepts and practices of Software validation methods , ISPE/GAMP 5, QSR/ISO regulations. Experience ... Johnson & Johnson, Vision Jacksonville, FL is recruiting for a Senior Software Validation Quality Engineer, Quality Operations, location in Jacksonville, FL. The… more
