Research Engineer - Palo Alto

Only for registered members Palo Alto, United States

1 month ago

Default job background

Job summary

We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team.

The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theorem proving and beyond.


Lorem ipsum dolor sit amet
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.

Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.

Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Get full access

Access all high-level positions and get the job of your dreams.



Similar jobs

  • Only for registered members Palo Alto, CA

    GenBio AI is building the AI-Driven Digital Organism (AIDO) and the AIDO Virtual Cell Lab, a platform where researchers can design, perturb, and observe biological systems entirely in silico using biological foundation models and LLMs. We are looking for a Research Engineer speci ...

  • Only for registered members Palo Alto, CA

    We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. · ...

  • Only for registered members Palo Alto, California, United States

    We are looking for a Research Engineer at Augment Code who will sit at the intersection of research and engineering - transforming cutting-edge ideas into production-ready systems that redefine how developers build software. · ...

  • Only for registered members Palo Alto, CA

    We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This position will be focused on advancing mathematical theorem proving using cutting-edge RL techniques. · ...

  • Only for registered members Palo Alto, CA

    The School of Humanities and Sciences (H&S) is the foundation of a liberal arts education at Stanford.The school encompasses 24 departments and 25 interdisciplinary programs.H&S is home to fundamental and applied research, · where free, · open, · and critical inquiry is pursued a ...

  • Only for registered members Palo Alto, California, United States

    About Turing is the world's leading research accelerator for frontier AI labs and a trusted partner for global enterprises looking to deploy advanced AI systems. · Responsibilities · Design and implement large-scale data pipelines for RL, SFT, · and post-training workflows to cre ...

  • Only for registered members Palo Alto, CA

    Luma's mission is to build multimodal AI to expand human imagination and capabilities. · We believe that multimodality is critical for intelligence.The Applied Research team brings our most advanced generative models to life. · ...

  • Only for registered members Palo Alto, CA

    We are a newly established start-up dedicated to transforming the landscape of biology and medicine through Generative AI. We are committed to decoding biology holistically and enabling next-gen life-transforming solutions. · Design, develop, and optimize machine learning infere ...

  • Only for registered members Palo Alto

    We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. · ...

  • Only for registered members Palo Alto $300,000 - $465,000 (USD)

    We are looking for a Research Engineer to sit at the intersection of research and engineering - transforming cutting-edge ideas into production-ready systems that redefine how developers build software. · ...

  • Only for registered members Palo Alto

    We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theor ...

  • Only for registered members Palo Alto

    You will develop integrate optimize state-of-the-art CUDA kernels to power AI models accelerate semiconductor design verification. · Writing optimizing CUDA kernels large-scale AI workloads · Profiling optimizing GPU performance custom compute memory-bound workloads · , · ...

  • Only for registered members Palo Alto $105,000 - $135,000 (USD)

    +Job summary · This position has been deemed critical by the School of Humanities and Sciences Dean's Office and is exempt from the hiring freeze. · The School of Humanities and Sciences (H&S) is the foundation of a liberal arts education at Stanford. · +ResponsibilitiesPlay a ke ...

  • Only for registered members Palo Alto

    Zyphra is an artificial intelligence company based in Palo Alto, California. · ...

  • Only for registered members Palo Alto Full time $170,000 - $220,000 (USD)

    Data is the lifeblood of advanced AI. Our R&D Research Engineers build the foundational systems that generate, refine, · and evaluate high-quality data at unprecedented scale—directly fueling · the next generation of reasoning and coding agents. · ...

  • Only for registered members Palo Alto

    About Luma AI: build multimodal AI to expand human imagination and capabilities. We believe that multimodality is critical for intelligence. · ...

  • Only for registered members Stanford $105,000 - $135,000 (USD)

    The School of Humanities and Sciences (H&S) is the foundation of a liberal arts education at Stanford. The school encompasses 24 departments and 25 interdisciplinary programs. H&S is home to fundamental and applied research, where free, open, and critical inquiry is pursued acros ...

  • Only for registered members Menlo Park Full time $88.46 - $257,000 (USD)

    · ...

  • Only for registered members Menlo Park Full time $7,404 - $217,000 (USD)

    Meta is seeking Research Engineers to join the Safety System and Foundations team within Meta Superintelligence Labs. · Design novel safety techniques for large language models. · Create datasets for safety system evaluation. · ...

  • Only for registered members Menlo Park Full time $8,846 - $257,000 (USD)

    · ...