• CPU Formal Verification Engineer

    Qualcomm (Santa Clara, CA)
    …+ Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model ... with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the… more
    Qualcomm (04/01/25)
    - Related Jobs

  • Senior System Software Engineer - QNX BSP…

    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 (04/24/25)
    - Related Jobs

  • Principal Software Scientist

    Leidos (San Diego, CA)
    …+ Ph.D. in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem provers for first-order ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
    Leidos (04/18/25)
    - Related Jobs

  • System Software Engineer, NvSci

    NVIDIA (Santa Clara, CA)
    …Knowledge of Automotive quality standards, ASPICE, ISO 26262, ISO 21434. + Experience with formal verification methods and tools, such as Ada/SPARK and TLA+. + ... are searching for a creative and highly motivated engineer with expertise in system software to join our NvSci team. NvSci technology provides a sophisticated set of… more
    NVIDIA (04/08/25)
    - Related Jobs

  • Software Engineer

    Leidos (San Diego, CA)
    …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... The individual will analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… more
    Leidos (03/21/25)
    - Related Jobs

  • Staff Java & Mobile App Developer - Multi Platform…

    Abbott (Sylmar, CA)
    …of Java. + Experience with visual modeling, graphical user interfaces, multi-threading, formal software development methodologies, and source code management. + ... of software engineering disciplines using a variety of programming methods . + Intermediate to moderate understanding of Linux Operating system. + Demonstrated… more
    Abbott (05/10/25)
    - Related Jobs

  • Lead Software Engineer-AI Platform Engineer

    JPMorgan Chase (Palo Alto, CA)
    …deployment and management tasks. **Required Qualifications, Capabilities, and Skills:** + Formal training or certification in software engineering concepts with ... push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within the Corporate Sector,...methods . + Proficient in all aspects of the Software Development Life Cycle. + Demonstrated proficiency in … more
    JPMorgan Chase (05/08/25)
    - Related Jobs

  • SR Principal Software Engineer - UI…

    JPMorgan Chase (Palo Alto, CA)
    …design and development processes. **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... talent at one of the world's most influential companies. As a Senior Principal Software Engineer at JPMorgan Chase within the CIB Payments Digital Platform team, you… more
    JPMorgan Chase (04/17/25)
    - Related Jobs

  • Manager, Software (KUS Development)

    Hyundai Autoever America (Fountain Valley, CA)
    …and future. + Report team/section activity and progress to HAEA management through formal and informal methods + Establish personnel development plans with ... 10706 - Manager, Software (KUS Development) Purpose: The KUS Development Manager...of transactions per day. + Experience with enterprise platform software that deals with high concurrency, performance, high availability,… more
    Hyundai Autoever America (04/15/25)
    - Related Jobs

  • Associate Mechanical Engineer, Journey (Open…

    Sacramento Municipal Utility District (Sacramento, CA)
    …research and resolution; safety policies, practices and procedures; office procedures, methods , and equipment including computers and applicable software ... two levels: Level E is the entry-level where incumbents are provided formal training and/or certification for progression to the journey-level of the classification.… more
    Sacramento Municipal Utility District (03/27/25)
    - Related Jobs