- Battelle Energy Alliance dba Idaho National Laboratory (Idaho Falls, ID)
- …in computing for embedded systems and cyber physical systems using language-based security, software and hardware formal methods , high-level synthesis, and ... Idaho National Laboratory is hiring a Senior Formal Methods Researcher to work in our Research Acceleration department. Our team works a 9x80 schedule fully… more
- 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
- Vector North America, Inc. (East Greenwich, RI)
- …we are working remotely. Responsibilities + Advanced development in the areas of software verification and formal methods . + Brainstorming and prototyping ... tech industry has been grappling with the issue of software quality for years, and although new tools and...or more of the following topics is highly desirable: formal methods , algorithm modeling, machine learning. Additional… more
- University of Pennsylvania (Philadelphia, PA)
- …MLops preferred + Ability to work with a software development team using formal software development methods preferred + Experience as first author of ... will also contribute to the development of novel computational and informatics methods and tools, including for training prediction models that are interpretable,… 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...2025 * Completed coursework or prior internship experience with formal methods (SW/HW) * Coursework or prior… more
- System One (Bellevue, WA)
- …core and core assembly behavior using finite element methods and write formal calculation reports + Develop software for automating analysis methods ... with a capable and motivated early career engineer to develop analysis methods and software for analyzing sodium fast reactor core components and systems. The… more
- Battelle Memorial Institute (Sterling, VA)
- … software engineering research studies, determines the appropriate analysis methods , identifies problems, and develops and implements solutions to complex ... qualified individuals to apply. **Job Summary** We are currently seeking a ** Software Engineer - SME** to support product development, sustainment, integration and… more
- Lockheed Martin (Marietta, GA)
- …schedules, and other support as necessary\. Will develop and deploy standard software quality procedures and quality engineering methods and tools compatible ... * Responsible for implementation and performance to Aero Codes related to Software Quality, assigned engineer will be predominately focused on software … more
- Ford Motor Company (Sunrise, FL)
- …in support of our Advanced Driver Assistance Systems (ADAS) Embedded Software development activities. This involves applying engineering principles and analytical ... techniques in support of delivering embedded vision foundational software for the next generation of ADAS ECU. +...+ Provide guidance to verification and tooling teams on methods to enhance vision pipeline debugging and testing +… more
- General Dynamics Information Technology (Fort Meade, MD)
- … software / web development lifecycle + Possesses knowledge of the principles, methods , and techniques used in web software development + Requires a ... of related experience **US Citizenship Required:** Yes **Job Description:** **Web software Developer - Senior - TS/SCI required** Transform technology into… more
- General Dynamics Information Technology (Fort Meade, MD)
- …complex programs with guidance. + Works with technical staff to understand problems with web software and resolve them. + Follows a formal design process using ... web development lifecycle + Possesses knowledge of the principles, methods , and techniques used in web software ...principles, methods , and techniques used in web software development + Requires a proficiency in the use… more
- JPMorgan Chase (Jersey City, NJ)
- …through pairing and code reviews **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and 3+ ... exciting and rewarding opportunity for you to take your software engineering career to the next level. As a...programming - Rego, Datalog or Prolog + Experience with formal test methods , Satisfiability Modulo theories, Boolean… more
- JPMorgan Chase (Plano, TX)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills:** + Formal training or certification on software engineering concepts and ... and continuous delivery methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile methodologies such as CI/CD,… more
- JPMorgan Chase (New York, NY)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts with ... push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Chief Technology...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- JPMorgan Chase (New York, NY)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts with ... push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Chief Technology...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- MTA (New York, NY)
- … issues. RESPONSIBILTIES + Demonstrates fundamental awareness of agreed models, methods , and tools for requirements management, software development, and ... data. + Continuously develops and maintains fundamental knowledge of agreed models, methods , and tools for requirements management, software development, and… more
- AeroVironment (San Diego, CA)
- …years of relevant experience in embedded Linux systems or GPUs + Experienced with formal and structured software lifecycle development process + Familiar with ... **Worker Type** Regular **Job Description** Summary As a Sr. Software Engineer, is responsible for the software ...to less experienced engineers + Acts independently to determine methods and procedures on new or special assignments Basic… more
- Magna (DE)
- Software Architect (f/m/x) Job Number: 65310 Group: Magna Electronics Division: Magna Electronics Sailauf Job Type: Permanent/Regular Location: Sailauf, DE Work ... to creating a better future for people globally. **About the Role** The Software Architect is responsible for selecting, defining, creating, and communicating the … more
- Magna (DE)
- …Functional Safety in system designs + Knowledge of structured problem solving (8D) methods and/or techniques + Certifications in software architecture **What we ... Senior Software Architect (f/m/x) Job Number: 64152 Group: Magna...solutions, ensuring scalability and efficiency, in compliance with a formal ASPICE + Collaborate with cross-functional teams to align… more
- ZF (Gray Court, SC)
- Sr. Engineer - Software Test Systems Country/Region: US Location: Gray Court, SC, US Req ID 66087 | Gray Court, United States **Overview:** ZF Test Systems develops ... - Test is responsible for numerous testing functions, including on-time hardware/ software development and validation, problem solving, project team membership, test… more