Research Engineer - Palo Alto
1 month ago

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.
Job description
, 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.
Access all high-level positions and get the job of your dreams.
Similar jobs
Research Engineer
1 month ago
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 ...
Research Engineer
1 week ago
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. · ...
Research Engineer
1 day ago
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. · ...
Research Engineer
1 month ago
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. · ...
Research Engineer
1 week ago
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 ...
Research Engineer
1 day ago
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 ...
Research Engineer
2 weeks ago
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. · ...
Research Engineer
5 days ago
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 ...
Research Engineer
1 day ago
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. · ...
Research Engineer
1 month ago
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. · ...
Research Engineer
1 week ago
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 ...
Research Engineer
1 month ago
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 · , · ...
Research Engineer
1 week ago
+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 ...
Research Engineer
1 month ago
Zyphra is an artificial intelligence company based in Palo Alto, California. · ...
Research Engineer
3 weeks ago
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. · ...
Research Engineer
1 month ago
About Luma AI: build multimodal AI to expand human imagination and capabilities. We believe that multimodality is critical for intelligence. · ...
Research Engineer
1 week ago
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 ...
Research Engineer
1 week ago
· ...
Research Engineer
1 month ago
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. · ...
Research Engineer
2 weeks ago
· ...