- 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
- The Walt Disney Company (Burbank, CA)
- …+ Graduate degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods and 3+ years of experience + ... design + Developing and interpreting the results of new formal models to forecast or predict business outcomes +...outcomes + Developing and interpreting the results of new formal models (eg marketing mix models, attribution models, etc.)… 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
- Hyundai Autoever America (Costa Mesa, CA)
- …for business needs + Report team/section activity and progress to HAEA management through formal and informal + methods + Achieve high levels of client ... satisfaction among KMA and HMA + Coordinate HAEA resources and align efforts in support of KMA and HMA IT initiatives + Establish personnel development plans with staff, provide training and project opportunities and instruction + Follow and monitor section… 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
- 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 ... staff, provide training and # project opportunities and instruction. + Follow and monitor section members adherence to HAEA policy and procedure. Please note this job description is not designed to cover or contain a comprehensive listing of activities, duties… more