- RTX Corporation (Cambridge, MA)
- …group seek well-qualified and eager System/ Software Engineers with experience in Formal Methods to become an integral part of exciting new projects ... Computer Science, Computer Engineering, Electrical Engineering, or relevant field Experience in Formal Methods Ability to work and communicate as part of a team… more
- Microsoft Corporation (Redmond, WA)
- …state-of-the-art of research in the broad fields of formal methods , high-performance computing, programming languages, and software engineering. Research ... conducting research in at least one of the following areas: formal methods , high-performance computing, programming languages, and software engineering. +… more
- Sandia National Laboratories (Livermore, CA)
- …for extreme environments. The formal verification activities include formal methods analysis of hardware and software ; modeling and simulation of digital ... a summer, graduate level intern to help with our formal methods research and development. As an...Formal Systems Specification and Model Based Design + Formal verification of systems software (compilers and… 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
- Sandia National Laboratories (Albuquerque, NM)
- …tools. Experience using TeamForge, SVN, or similar tools along with experience using formal software development methods will be helpful. Familiarity with ... written communication skills. * Experience with discrete and multi-objective optimization methods . * Demonstrated software development skills and familiarity… more
- Amazon (Austin, TX)
- …be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of ... design and build every component of our hardware and software to come together into products that our customers...2026 - Completed coursework or prior internship experience with formal methods (SW/HW) - Coursework or prior… 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
- NVIDIA (Santa Clara, CA)
- …performance and virtualization support in the SOC + Extensively use Formal Methods to architect and develop high integrity software + Design debugging ... strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from...(including specification and formal verification) and TLA+ formal verification modeling + Background in software … more
- Leonardo DRS, Inc. (Johnstown, PA)
- …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
- Cummins Inc. (Columbus, IN)
- …and standards. Diagnoses and problem solves issues with IT hardware or software components with limited direction. Requires the ability to install, configure, or ... IT responsibilities as assigned. Encourages root cause analysis using the formal problem solving approach for recurring issues. **Key Responsibilities:** Leads team… more
- Cummins Inc. (Columbus, IN)
- …in emissions control features. Responsibilities include investigating product software issues, understanding causal mechanisms, recommending solutions, and ... documenting outcomes. The role involves collaboration with product and software development teams to deliver verified software features and components, making… more
- Ford Motor Company (Sunrise, FL)
- … software design documentation per established process. Approve documentation through formal reviews. + Drive established Agile development methods within the ... in support of our Advanced Driver Assistance Systems (ADAS) Embedded Software development activities. This involves applying engineering principles and analytical… more
- AeroVironment (Moorpark, 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 software systems or applications for software enhancements...an evaluation of intangibles + Acts independently to determine methods and procedures on new or special assignments. May… more
- Iowa State University (Ames, IA)
- …experimental solid mechanics and materials science; composites and aerospace structures; formal methods and software engineering; autonomy; non-destructive ... professor ranks in aerodynamics and propulsion, focusing on numerical methods and computational fluid dynamics. Exceptional candidates with commensurate experience… more
- Amazon (Seattle, WA)
- …set appropriate access controls across all their AWS environments. We are seeking a software developer engineer to be part of our team to build solutions on a ... most effective performance, scalability, architecture, and engineering patterns and methods AWS has the most services and more features...life-both in and outside of work. We have a formal mentor search application that lets you find a… more
- Vanderbilt University Medical Center (Nashville, TN)
- …Manages vision, roadmap, deliverables to support the growing medical device and software support needs of the enterprise. Translates customer needs into a portfolio ... Masimo SafetyNet throughout our regional facilities (VTHH/VWCH), Planmeca Romexis dental software , Spectrum Quantum perfusion, and 7 additional products that will be… more
- Blue Cross and Blue Shield of Louisiana (Baton Rouge, LA)
- …is preferred for all positions. **POSITION PURPOSE** Individuals within the Lead Software Quality Assurance Engineer role deliver automated solutions for software ... QA engineer is expected to: * Identify opportunities for inserting more quality within software processes. * Design and execute QA tests. * Run tests for databases,… more
- Vanderbilt University Medical Center (Nashville, TN)
- …Summary:** The Application Analyst will be supporting the currently unmanaged software applications associated with medical devices that provide clinical services ... across the organization. The Application Analyst will ensure that software is reviewed, managed, upgraded, patched, and life-cycled appropriately. Some of the … more
- Amazon (Seattle, WA)
- …of agile software development tools, aided by generative AI and automated reasoning/ formal methods technology. We use software verification tools and ... of this transformational endeavor. The Automated Reasoning Group is seeking an software developer who will collaborate with other developers and applied scientists… more
- Leader Communications Inc. (Ogden, UT)
- Position Summary The Software Engineer will provide software development support to include, but not limited to software /system sustainment, scripting and ... + Utilizes the Collaborative Lifecycle Management (CLM) tool. + Provides full software lifecycle development and maintenance support. + Performs software … more