• Formal Methods Research Engineer

    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
    RTX Corporation (10/02/24)
    - Save Job - Related Jobs - Block Source
  • Tenured/Tenure-Track Faculty in Trustworthy…

    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
    University of Colorado (10/04/24)
    - Save Job - Related Jobs - Block Source
  • Research Intern - RiSE group: Formal

    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
    Microsoft Corporation (10/24/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Formal Verification Engineer Intern,…

    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
    Amazon (10/04/24)
    - Save Job - Related Jobs - Block Source
  • Scientist I, Analytical Methods Transfer

    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
    Fujifilm (11/07/24)
    - Save Job - Related Jobs - Block Source
  • Tax Associate, Accounting Methods

    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
    KPMG (09/22/24)
    - Save Job - Related Jobs - Block Source
  • Senior Research Software Engineer

    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
    Microsoft Corporation (10/31/24)
    - Save Job - Related Jobs - Block Source
  • ADAS Embedded Vision Framework Software

    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
    Ford Motor Company (10/09/24)
    - Save Job - Related Jobs - Block Source
  • Senior Software Developer

    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
    KBR (11/07/24)
    - Save Job - Related Jobs - Block Source
  • Web Software Developer - Senior (TS/SCI…

    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
    General Dynamics Information Technology (11/07/24)
    - Save Job - Related Jobs - Block Source
  • Quantum Inspired Algorithm Research - Lead…

    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 (11/07/24)
    - Save Job - Related Jobs - Block Source
  • High-Performance Computing Research - Lead…

    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 (11/07/24)
    - Save Job - Related Jobs - Block Source
  • Software Engineer (Apps), Sr.

    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
    AeroVironment (10/30/24)
    - Save Job - Related Jobs - Block Source
  • ADAS Networking and Protocols Software

    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
    Ford Motor Company (08/21/24)
    - Save Job - Related Jobs - Block Source
  • Lead Software Engineer (Java…

    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 (08/28/24)
    - Save Job - Related Jobs - Block Source
  • Senior Software Development Engineer, AWS…

    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
    Amazon (10/24/24)
    - Save Job - Related Jobs - Block Source
  • Lead Software Quality Assurance Engineer

    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
    Blue Cross and Blue Shield of Louisiana (10/17/24)
    - Save Job - Related Jobs - Block Source
  • Software Development Engineer, Automated…

    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
    Amazon (11/07/24)
    - Save Job - Related Jobs - Block Source
  • Software Engineer II - Card Data Platform…

    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 (11/08/24)
    - Save Job - Related Jobs - Block Source
  • High-Performance Computing Research…

    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
    JPMorgan Chase (11/07/24)
    - Save Job - Related Jobs - Block Source