- 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
- University of Colorado (Boulder, CO)
- …is inter-disciplinary, spanning the broad areas of computer systems, programming languages, software engineering, formal methods and artificial intelligence. ... reasoning that have been studied in the areas of programming languages and formal methods . Conversely, AI and Machine Learning techniques are impacting how… 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
- 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
- Fujifilm (Research Triangle Park, NC)
- …The AMT group is a technologically diverse group that primarily performs formal Tech Transfer, Qualification, Validation and Verification of test methods ... is responsible for ensuring long term success of the methods entering into QC. **External US** The work we...and application of more complex instrumentation, computer systems and software for data acquisition and analysis + General knowledge… more
- KPMG (Minneapolis, MN)
- **Business Title:** Tax Associate, Accounting Methods and Credits | Multiple Locations Summer/Fall 2025 **Requisition Number:** 115818 - 46 **Function:** Tax ... Develop your career through a range of multifaceted engagements, formal training, and informal mentoring. At KPMG, we believe...is currently seeking a Tax Associate for our Accounting Methods and Credit Services practice in Business Tax Services.… more
- Microsoft Corporation (Redmond, WA)
- …AI/data processing/ formal reasoning/natural language systems. + PhD in Formal Methods , Natural Language Processing, or Language-Model training/inference with ... and systems at the intersection of language modeling and formal reasoning with a focus on software development. + Collaborate to develop and test out new… more
- Ford Motor Company (Dearborn, MI)
- …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
- KBR (Chantilly, VA)
- …and tools, and daily CAAG operations + Translate user requirements from a formal requirements document into an software application and/or database design + ... Title: Senior Software Developer Belong. Connect. Grow. with KBR! KBR's... Development/IT Lead shall apply the principles, theories, and methods of computer science and information technology. + Lead… more
- General Dynamics Information Technology (Fort Belvoir, VA)
- … software / web development lifecycle + Possesses knowledge of the principles, methods , and techniques used in web software development + Requires a ... SCI + Polygraph **Public Trust/Other Required:** None **Job Family:** Software Engineering **Skills:** Building Architecture,Microsoft SharePoint,Microsoft Windows Server **Experience:**… 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
- AeroVironment (San Diego, 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
- 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
- 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
- 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
- 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
- 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
- JPMorgan Chase (Plano, TX)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification in software engineering concepts and ... advance your career - and we have the perfect software engineering opportunity for you. As a Software...methods . + Proficient in all aspects of the Software Development Life Cycle. + Solid 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 ... exciting and rewarding opportunity for you to take your software engineering career to the next level. As a...identify bottlenecks in subroutines of the algorithms and devise methods to speed up the executions. + Identify dependencies… more