- 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 (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
- 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
- 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
- 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 (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
- 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
- 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
- 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
- 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