- Raytheon (Andover, MA)
- …environment.What You Will DoTranslate engineering design requirements into formal manufacturing process documentation including raw material definition, ... and statistical process control (SPC) dataMentor teammates in cutting edge machining methods and toolsValidate NC programs using CGTech Vericut and Cimco EditSupport… more
- Raytheon (Tucson, AZ)
- …fault tree analysis.Create/modify documentation in support of reviews associated with formal testing, which will include Test Plans and Procedures, Test Readiness ... the use of lab/field test equipmentExperience with Verification and Validation methods ..Active and transferrable US Government issued security clearance is required… more
- Collins Aerospace (Atlanta, GA)
- …perform special investigations, and product testing. Other duties might include formal /informal training and/or support and installation of test equipment products ... efficient manner. Uses analysis of CRG failure data to identify proactive methods of preventing future failures. Provides capacity planning and utilization analysis… more
- Qualcomm (Santa Clara, CA)
- …+ Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model ... with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the… more
- Leidos (Arlington, VA)
- …formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. **Original Posting:** ... 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
- Leidos (Arlington, VA)
- …low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in complex ... **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art… more
- RTX Corporation (Cambridge, MA)
- …such systems. This position is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks, etc. You will work ... Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers with System/ Software Engineers experience...are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having… more
- RTX Corporation (Cambridge, MA)
- …shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and ... Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers with System/ Software Engineers experience...are not limited to:** + Build and advance a Formal Methods -related research area for BBN having… more
- RTX Corporation (Cambridge, MA)
- …will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... well-qualified and skilled network and systems researcher with strong software development skills and an interest in security and...programming. + Experience with the application and scaling of formal methods techniques such as model checking,… 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
- Leidos (Arlington, VA)
- …+ Ph.D. in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem provers for first-order ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… 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
- MIT Lincoln Laboratory (Lexington, MA)
- …protocols. + Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and ... collaborative team of security architects and researchers, applied cryptographers, software developers, and embedded systems engineers. Together, we address critical… more
- Cummins Inc. (Columbus, IN)
- …EPA 2027 regulations. This role requires gaining proficiency in Aftertreatment (AT) software controls and diagnostic features to provide inputs to customers during ... meet AT system performance design targets. The individual will generate control software feature requirements as necessary, working closely with ATI Calibration and… more
- Cummins Inc. (Plymouth, MI)
- …EPA 2027 regulations. This role involves gaining proficiency in Aftertreatment (A/T) software controls and diagnostic features to provide inputs to customers during ... design targets. The individual will investigate and troubleshoot the correctness of software behavior using customer-provided data to identify root causes for system… 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
- KBR (Wright Patterson AFB, OH)
- … software acquisition program(s), especially experience or extensive knowledge of the formal Software Acquisition Pathway. Ready to Make a Difference? If ... Title: Senior Software Acquisition Technical Advisor Belong. Connect. Grow. with...in a fast-paced, high-performing, hand-picked organization. Desired: + AI/ML Methods : Familiarity with AI/ML applications and test methods… more
- Ford Motor Company (Sunrise, FL)
- … software design documentation per established process. Approve documentation through formal reviews. + Drive established Agile development methods within the ... The Advance Driver Assistance Technology (ADAS) team develops state-of-the-art software and algorithms to deliver best-in-class features like adaptive cruise… more
- JPMorgan Chase (Houston, TX)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills:** + Formal training or certification on Software Engineering concepts and ... 5+ years applied experience + Formal training or certification on engineering concepts and 8+...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- Amazon (Redmond, WA)
- …Management role with cross-functional responsibilities. - Understanding of the requirements and methods for proper handling of satellite formal test articles and ... project management of system-level developments with focus on multiple functionality Software deliverables, test plans and test validation at Satellite level. This… more
