• Sr. Staff Software Engineer, Engineering…

    LinkedIn (Mountain View, CA)
    …Hadoop, Spark, distributed key-value stores, streaming processes, recommender systems, statistical methods , and experimental design. + Highly motivated and able to ... to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing,… more
    LinkedIn (09/30/25)
    - Related Jobs

  • Principal Manufacturing & Autonomy Research…

    Leidos (San Diego, CA)
    …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... projects. This role will drive capture of strategic customer-funded software R&D. The ideal candidate will have a proven...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
    Leidos (09/24/25)
    - Related Jobs

  • Principal Autonomy and Resilient Systems Scientist

    Leidos (San Diego, CA)
    …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... projects. This role will drive capture of strategic customer-funded software R&D. The ideal candidate will have a proven...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
    Leidos (07/19/25)
    - Related Jobs

  • Senior Hypervisor and RTOS Engineer

    NVIDIA (Santa Clara, CA)
    … software that meets automotive safety and security standards, and apply formal methods (ie TLA+) to improve software integrity. What we need to see: + ... vehicle. The Hypervisor and RTOS Team within NVIDIA DRIVE Software plays a critical role in NVIDIA's expansion into...world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and… more
    NVIDIA (10/01/25)
    - Related Jobs

  • Senior Research Scientist, AI Coding Agents,…

    Google (Mountain View, CA)
    …(LLMs). + Experience with program analysis, program synthesis, automated program repair, formal methods , or designing developer tools. + Experience designing and ... domains like machine learning, natural language processing, program analysis, program repair, formal methods for addressing ambiguous tasks (such as semantic bug… more
    Google (09/27/25)
    - Related Jobs

  • Associate Mechanical Engineer Journey Level…

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

  • Retirement Legal Management Assistant IV-CC

    Ventura County (Ventura, CA)
    …forms and composing standard correspondence; and + Routine and complex legal research methods of legal software using technical and internet resources. Thorough ... which require the application of routine and/or complex legal research methods . + Provides employers, members and beneficiaries, legal representatives, and others… more
    Ventura County (09/25/25)
    - Related Jobs

  • Warehouse Lead Industrial Engineer (remote)

    Ryder System (Sacramento, CA)
    …Continuous Improvement culture across the business by actively applying continuous improvement methods to support new and existing operations. The Lead Engineer will ... customer(s). + Demonstrate a high level of competency in wide range of engineering methods , Lean tools, and quality standards and coaches employees in the use and… more
    Ryder System (09/29/25)
    - Related Jobs

  • Warehouse Sr. Industrial Engineer (remote)

    Ryder System (Sacramento, CA)
    …Improvement culture across the operation by actively applying continuous improvement methods to support new and existing operations. The Engineer will identify ... and/or customer(s). + Develop and demonstrate competency in wide range of engineering methods , Lean tools, and quality standards and coaches employees in the use and… more
    Ryder System (09/29/25)
    - Related Jobs

  • Structural Project Engineer

    ClarkDietrich (Carlsbad, CA)
    …to the client. + Perform structural calculations using analysis programs or manual methods as necessary to complete the calculations. + Collaborate with team members ... to clients. + Independently make decisions on type of methods to employ in structural design to effectively protect...SKILLS A thorough knowledge of structural engineering and a formal education in building design is preferred. Flexibility in… more
    ClarkDietrich (09/16/25)
    - Related Jobs