- 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
- 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
- Orlando Utilities Commission (Orlando, FL)
- …may be substitutable. + Minimum of seven (7) years of experience involving software development and employing formal software development methodologies to ... such as Talend, SQL + Working knowledge of versioning methods and tools (preference of GIT) + Experience with...+ Minimum of seven (7) years of experience involving software development and employing formal software… 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
- 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
- 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
- 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
- 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
- Lockheed Martin (Fort Worth, TX)
- …software lifecycle \(e\.g\., Requirements, Design, Coding, Unit Testing, Formal Testing, Integration & Testing, Release, Configuration Management, Problem ... software lifecycle \(e\.g\. Requirements, Design, Coding, Unit Testing, Formal Testing, Integration & Testing, Release, Configuration Management, Problem… 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
- 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
- Vanderbilt University Medical Center (Nashville, TN)
- …Summary:** The Senior Application Analyst will support 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
- JPMorgan Chase (Columbus, OH)
- …new and emerging technologies. **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...methods + Proficient in all aspects of the Software Development Life Cycle + Solid understanding of agile… more
- Applied Research Associates, Inc. (Eglin AFB, FL)
- …products such as the Joint Munitions Effectiveness Manual (JMEM) Weaponeering Software (JWS). JMEM products are used to authenticate weapons effectiveness data ... member of our diverse multidisciplinary team, the JWS Junior Software QA Specialist will be responsible for planning and...to learn and adapt to new technologies and testing methods . + Self-starter with the ability to work independently… more