- IBM (San Jose, CA)
- …particularly as related to meta-complexity and foundation models * Knowledge of formal optimization methods * AI for algorithmic reasoning * Quantum-centric ... and innovation thrive. **Your role and responsibilities** Develop new mathematically grounded methods and algorithms in one or more of the following areas: numerical… more
- System One (Sacramento, CA)
- …their scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. ... Projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally. They invest in the unknown, applying our curiosity and desire for positive change to… more
- Google (Mountain View, CA)
- …of models. + Experience with GenAI language models, programming languages, compilers, formal methods , and/or private storage solutions. + Demonstrated success in ... creative problem solving for scalable teams and systems + A real passion for AI! more
- NVIDIA (Santa Clara, CA)
- …and inter-partition communication-to enable flexible, high-performance system behavior. + Apply formal methods (eg, TLA+) to specify and verify dynamic ... aspects of the architecture, ensuring correctness, safety, and predictable behavior under reconfiguration. + Design and implement core virtualization features that leverage hardware-assisted virtualization on NVIDIA Tegra SoCs based on ARM architecture ,… more
- Google (Mountain View, CA)
- …of models. + Experience with GenAI language models, programming languages, compilers, formal methods , and/or private storage solutions. + Demonstrated success in ... creative problem solving for scalable teams and systems + A real passion for AI! more
- SpaceX (Hawthorne, CA)
- …and microcontrollers. + 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 (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
- GovCIO (Sacramento, CA)
- …description, system planning and design, and ensures requirements comply through formal verification methods . Translates high level product development ... strategies into network and system requirement specifications and works with other engineering disciplines to develop lower level detailed implementation requirements. Establishes and coordinates development of standards, practices, and procedures as related… 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
- Veterans Affairs, Veterans Health Administration (San Francisco, CA)
- …and discharge notes following all VA, Rehab, and OT regulations. 2. Participation in formal and informal methods of communication about patient status, such as ... evaluation findings to develop and coordinate intervention plans, including goals and methods of treatment. Ability to implement intervention plans directly or in… more