• Software Engineer - Functional Programming

    Leidos (San Diego, CA)
    …support the development of high-assurance, resilient software. + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… more
    Leidos (07/29/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 ... future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under… more
    Leidos (07/19/25)
    - Related Jobs
  • Autonomous Systems Research Eng. Manager (Advanced…

    Lockheed Martin (Palo Alto, CA)
    …for Verification and Validation of complex or autonomous systems, such as Formal Methods , Assume/Guarantee reasoning, edge case scenario design, sensitivity ... analysis, etc\. * Experience with training and training set generation for Neural Networks \(Python and Tensorflow\) 3\) Experience with analysis, modeling and simulation of complex systems with black\-box software components * Complex control of manipulators,… more
    Lockheed Martin (08/29/25)
    - Related Jobs
  • Senior Software Engineer/Supervisor

    Leidos (San Diego, CA)
    …+ Experience with developing secure, resilient solutions + Experience with formal methods + Experience with developing/integrating/testing embedded applications ... + Experience with Machine Learning and/or Artificial Intelligence algorithms and libraries + Active DoD Secret clearance At Leidos, we don't want someone who "fits the mold"-we want someone who melts it down and builds something better. This is a role for the… more
    Leidos (08/28/25)
    - Related Jobs
  • Sr. Electrical Engineer (Crew Starship Avionics)

    SpaceX (Hawthorne, CA)
    …or Circuit Maker + High level of proficiency with circuit simulation tools and formal analysis methods , such as derating and worst-case circuit analysis + High ... level of proficiency with lab equipment for development testing of circuits and components, including sophisticated test definition, troubleshooting, data collection, and data reduction techniques + Proficient at board level rework in support of development… more
    SpaceX (07/17/25)
    - Related Jobs
  • Sr. Power Electronics Engineer (Crew Starship)

    SpaceX (Hawthorne, CA)
    …Altium or Circuit Maker + High level of proficiency with circuit simulation tools and formal analysis methods , such as derating and worst case circuit analysis + ... High level of proficiency with lab equipment for development testing of circuits and components, including sophisticated test definition, troubleshooting, data collection, and data reduction techniques + Proficient at board level rework in support of… more
    SpaceX (07/17/25)
    - Related Jobs
  • Manager Clinical Pharmacy

    Dignity Health (Redding, CA)
    …as required + Evaluates clinical programs/services provided and implements improvements using formal systematic methods of problem solving and streamlining to ... maximize value + Assists in preparation and presentation of drug formulary and policy reviews for the Pharmacy and Therapeutics Committee. + Contributes to formulary management and works with health care providers to ensure formulary compliance + Participates… more
    Dignity Health (07/05/25)
    - Related Jobs
  • Test Engineer I

    Transdev (Atwater, CA)
    …Experience with system engineering principles such as defining requirements and formal verification and validation methods + Test scripting ... or features, as well as developing and maintaining evaluation methods . Test Engineers shall manage and execute test programs,...and findings. Test Engineer shall also develop new test methods to improve the quality and scalability of those… more
    Transdev (06/25/25)
    - Related Jobs
  • Data Center FEP Senior Program Manager

    CBRE (Sacramento, CA)
    …working with supply chain and consultants Establish closeout documentation and follow formal Program Management methods / standard methodologies **What you'll ... need:** + At least 3+ years of previous data center infrastructure or critical environment experience as a project manager or program manager + 6-8 years of PMO experience + Understanding of mechanical and electrical building systems + Proven track record in… more
    CBRE (08/01/25)
    - Related Jobs
  • Administrative Fellow - 1 Year Fixed Term/Benefit…

    Stanford Health Care (Palo Alto, CA)
    …issues and challenges in the area; d) management of staff-client relations; e) methods of formal and informal assessment of area's effectiveness; f) resources ... positive image of SMHC, its management and physicians, and Stanford University on a formal and informal basis + Ability to communicate with individuals and groups in… more
    Stanford Health Care (08/17/25)
    - Related Jobs