Research Engineer
Harmonic
Research EngineerHarmonic is a startup building the world's most advanced mathematical reasoning engine, recently achieving Gold Medal-level performance on the 2025 International Math Olympiad (IMO). Backed by some of the world's most prominent investors, we are intentionally scaling our elite technical team.We are seeking a highly motivated and skilled Research Engineer to join our AI & Formal Methods team. The initial focus of this position will be on advancing mathematical theorem proving using cutting-edge AI techniques. The successful candidate will play a key role in developing new algorithms and models that integrate AI with formal methods to solve complex problems in theorem proving and beyond.Key responsibilities include:Conduct research in formal methods for mathematical theorem provingApply formal verification techniques using Lean or similar frameworks to formally verify safety critical systemsDevelop and implement algorithms and techniques to improve the efficiency and effectiveness of formal methods for AI systemsMinimum qualifications include:BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experienceBasic proficiency in pythonProficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle, Agda) and a strong foundation in formal methods and mathematical logicExperience driving highly technical research projects from early concept to deliveryPreferred qualifications include:Expert level knowledge of Lean4PhD in Computer Science, Mathematics, or related technical fieldExperience verifying programs in safety critical fields such as; aerospace/defense, automotive, medical, cryptography, etcProven track record of high-quality research demonstrated by publications, patents, or software contributionsContributions to open-source projects or development of software tools in the fieldWhat we offer includes:Unlimited PTO401(k) matching100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.Health Savings Account (HSA) available for qualifying health plansHarmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.
$174k - $252k
SnapshotWe are seeking a highly motivated Research Engineer (L5) with a strong background in multi-modal modelling for humans and a focus on speech & audio/visual to join the effort within Google DeepMind's Frontier AI unit. This role is pivotal in developing foundational...SuggestedFull time$180k - $258.75k
...Automated Driving Advanced Development /Full-time /HybridAt Toyota Research Institute (TRI), we’re on a mission to improve the quality of... ...unstructured environments.Our team is looking for a Research Engineer to help develop and deploy our world foundation models (WFMs) toward...SuggestedFull timeLocal areaShift work$207k - $300k
...reporting of compute costs and utilization, while implementing critical business, product, and engineering metrics for platforms like AI Studio, Gemini API, and Beyond.Research and develop quantitative approaches to improve fleet-wide compute efficiency, and connect...SuggestedWorldwide$174k - $252k
Snapshot At Google DeepMind, our research team is dedicated to tackling the most complex challenges in online information quality. We... ...useful inventions. At Google DeepMind, we’re a team of scientists, engineers, machine learning experts and more, working together to...SuggestedFull time$174k - $252k
Drive post-training research and engineering using reinforcement learning (RL) and supervised fine-tuning (SFT) to advance Gemini coding capabilities across web, 3D, game, and mobile development.Develop and scale agentic post-training pipelines and landing recipes in collaboration...Suggested$174k - $252k
Be a part of team of scientists, engineers, machine learning experts, and more, working together to advance in artificial intelligence... ...equivalent practical experience.3 years of experience in deep learning research and development, including generative AI, audio and video...$141k - $202k
...Project OverviewGoogle DeepMind (GDM) is pursuing a ground-breaking research program in materials, aiming to accelerate the discovery of... ...interdisciplinary team of domain experts, ML researchers, and engineers exploring a diverse set of important scientific problems in...Full time$174k - $252k
...and statistics.Preferred qualifications:Experience in software engineering and working on large-scale ML projects.Experience working on... ...similar ML frameworks (e.g. JAX).Experience conducting applied research to improve the quality and training/serving efficiency of large...$174k - $255k
...insights.About the role:You will be a hands-on Machine Learning engineer, contributing to all aspects of the project’s development and... ...machine learning for Bellwether’s real-world products, and is not a research-based role.Our team is small but mighty and highly...Full time$207k - $300k
...One or more publications in conferences or journals (e.g., NeurIPS, ICML, ICLR, AAAI, CVPR).Research background in NLP/Generative AI.At Google, research-focused Software Engineers are embedded throughout the company, allowing them to setup large-scale tests and deploy...- ...reducing labor costs and meeting an unprecedented expectation for faster deliveries.About the role:We're currently looking for research engineers with specialized skills in LiDAR, camera, and radar perception technologies to enhance our autonomous driving systems'...
$138.4k - $163.99k
...impact clinical care? If so, Stanford University invites you to join GUIDE-AI within the Computational Medicine division as a Research Engineer to shape how AI is developed, evaluated, and deployed in healthcare.GUIDE-AI (Guidance for the Use, Implementation, Development...TraineeshipWeekend workAfternoon shift- ...Large Language Models (LLMs) or Vision-Language Models (VLMs) in research or production settingsStrong research background in Natural... ...language models and adaptive learning systemsProven research and engineering experience with LLMs/VLMs, particularly in meta-learning or...Internship
Nace AI
Palo Alto, CA5 days ago $158.8k - $218.1k
...Lab Summary: The Robot Intelligence Lab at Samsung Research America is a new facility dedicated to advancing the field of robotics through cutting‑edge research and development. The lab’s mission is to develop advanced technologies such as robotics foundation models,...Work at officeSamsung Research America
Mountain View, CA4 days ago- ...Research Engineer At Mind Robotics, we're building generalized physical AI—robotic systems capable of dexterous, adaptive, and reasoning-intensive work in real-world industrial environments. Our ability to iterate quickly on large-scale models depends on world-class...
Mind Robotics
Palo Alto, CA5 days ago - ...Voltai AI + Semiconductor Research Position Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and... ...-driven hardware design. Working closely with researchers and engineers, you'll help make Voltai the world's leading AI +...
Voltai
Palo Alto, CA3 days ago - ...Salesforce AI is seeking skilled software and platform engineers to enhance our AI team, bridging advanced AI technology with customer... ...interactions at scale. Join a motivated team working directly with Research Scientists to create stable, production-ready applications....
Salesforce
Palo Alto, CA7 hours ago $120k - $250k
...vision, language, and beyond) into high-performance, AI-ready data engines. Your work here will directly contribute to these models and... ...challenges for leading organizations. About the Role As a Research Engineer at Orbifold AI, you will be at the forefront of advancing...Full timeInternshipFlexible hoursOrbifold AI
Los Altos, CA3 days ago$150k - $200k
...developing novel evaluation benchmarks and alignment techniques for enterprise-grade language models. Responsibilities As a Research Scientist/ ML Engineer, you will play a crucial role in conducting and enabling cutting-edge research and translating it into our core product...Full timeCollinear AI
Mountain View, CA1 day ago- ...Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys &... ...continual learning at scale. You will work closely with hardware engineers, RL researchers, and verification specialists to create evals...
Voltai
Palo Alto, CA7 days ago - ...Stanford University, and CEOs/Presidents of Google, AMD, Broadcom, Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys & GlobalFoundries, Head of Sales & CRO of Cadence, former US Secretary of...
Voltai
Palo Alto, CA7 days ago $90 - $121.86 per hour
...Job Description Job Description LLM Research Engineer Key Responsibilities: Design, train, and fine-tune large language models (e.g., GPT, LLaMA, PaLM) for various applications. Conduct research on cutting-edge techniques in natural language processing (NLP...Hourly payCypress HCM
Mountain View, CA6 days ago$130k - $250k
Join to apply for the Research Engineer, Reinforcement Learning role at 1X Join to apply for the Research Engineer, Reinforcement Learning role at 1X Target start date: Immediately. Relocation provided. Since its founding in 2015, 1X has been at the forefront of developing...Full timeWork at officeImmediate startWork from homeRelocation$163.6k - $324.5k
Lab Summary The Robot Intelligence Lab at Samsung Research America is a new facility dedicated to advancing the field of robotics through... ...of level we are looking to grow the team with Researcher Engineers who have solid technical skills and rich academic and/or industry...Work at officeLocal area$400k
...Principal Research & Engineering, Realtime Voice AI Palo Alto, California, United States About Inflection AI Inflection AI is a Public Benefit Corporation empowering people with human-centered, emotionally intelligent AI. We're shaping the future of AI by combining...Work at officeFlexible hoursInflection AI
Palo Alto, CA4 days ago- Pathway is seeking 1 or 2 R&D Engineers to work on an extremely ambitious foundational project focused on attention-based models. The... ...experimentation with PyTorch/Jax/TF, strong knowledge of GPU architectures, and a passion for foundational AI research. #J-18808-Ljbffr PathwayRemote job
$174k - $252k
Research Engineer, Gemini Personalization Research, DeepMind Mountain View, CA, USA Minimum qualifications: Bachelor’s degree or equivalent practical experience. 5 years of experience designing, constructing, and deploying evaluation frameworks that capture programmatic...- We have a fantastic opportunity for an Electronics Innovation Engineer with a cutting-edge technology company based in Palo Alto, CA. This role involves working on innovative electronic projects, focusing on power conversion and advanced systems for various applications...H1bVisa sponsorshipRelocation package
$115.71k - $172.12k
OverviewThe Optical Materials group is seeking an enthusiastic Materials Research Scientist/Engineer to join our team at SRI International’s Menlo Park, California headquarters. You will have the opportunity to make important contributions to on-going and future R&D programs...$207k - $300k
Staff Research Engineer, Applied AI, DeepMind link Copy link corporate_fare DeepMind place Mountain View, CA, USA Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 8 years of software...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Engineer. Be the first to apply!
- research programmer Palo Alto, CA
- deep learning research engineer Palo Alto, CA
- research engineer Palo Alto, CA
- research software engineer Palo Alto, CA
- health research Palo Alto, CA
- political research Palo Alto, CA
- research pharmacist Palo Alto, CA
- research economist Palo Alto, CA
- vice president research Palo Alto, CA
- pharmaceutical research Palo Alto, CA