Research Engineer
Harmonic
Research Engineer
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. 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.
Key responsibilities include:
- Conduct high-quality research in the intersection of RL and formal methods, with a focus on mathematical theorem proving.
- Develop and implement novel RL algorithms and models for theorem proving.
- Collaborate with a multidisciplinary team to integrate RL techniques with formal methods.
- Stay abreast of the latest developments in RL, formal methods, and related fields.
Minimum qualifications include:
- BS or MS in Computer Science, Mathematics a related technical field, or equivalent industry experience
- Strong programming skills in Python, with experience in software development and testing.
- Experience in deep learning frameworks such as PyTorch
- Strong understanding of mathematical concepts, including algebra, geometry, and analysis.
Preferred qualifications include:
- PhD in Computer Science, Mathematics, or a related field.
- Experience in applying AI to solve practical problems in formal methods.
- Proven track record of high-quality research demonstrated by publications, patents, or software contributions.
- Contributions to open-source projects or development of software tools in the field.
- Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing).
- Proficiency in formal methods, including experience with theorem proving systems.
What we offer:
- Unlimited PTO
- 401(k) matching
- 100% 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 plans
Equal Opportunity Statement
Harmonic 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.
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Research Engineer in Palo Alto, CA vacancy
$141k - $202k
...Overview Google 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 materials...SuggestedFull timeDeepMind
Mountain View, CA4 days ago- ...Research Engineer – ML Track Mistral provides full-stack AI solutions: from frontier models to developer tools, applications, and compute. We partner with enterprises tackling the hardest problems—across high-stakes industries like finance, manufacturing, defense, healthcare...SuggestedRelocation package
Mistral AI
Palo Alto, CA1 day ago - ...Machine Learning Infrastructure Engineer At Mind Robotics, we're building generalized physical AI—robotic systems capable of dexterous... ...with robotics or embodied AI workloads Experience building tools for experiment management and researcher productivity...Suggested
Mind Robotics
Palo Alto, CA3 days ago $160k - $240k
...people committed to solving tough problems that save precious time and energy. About the role We're seeking a Senior Research Engineer to lead cutting-edge perception research and drive our autonomous robotics platform forward. This is an opportunity to shape the...SuggestedWork from homeMatic
Menlo Park, CA10 hours ago$400k
...and evaluation. This person will help shape how emotionally intelligent AI shows up in spoken interactions, partnering across research, engineering, product, and design to deliver voice agents that feel responsive, trustworthy, and useful in enterprise settings. What You’...SuggestedInflection AI
Palo Alto, CA1 day ago- ...Large Language Models (LLMs) or Vision-Language Models (VLMs) in research or production settings Strong research background in Natural... ...models and adaptive learning systems Proven research and engineering experience with LLMs/VLMs , particularly in meta-learning or parameter...Internship
- ...Terrain to build the web for AIs. We're currently valued at $2 billion and we're forming a world‑class team of engineers, designers, marketers, sellers, researchers, and operational experts to achieve our mission. About you You're a researcher who thinks like an engineer,...Work at officeVisa sponsorshipFlexible hours
- Gravity Engineering Services Pvt Ltd. is looking for specialists in Large Language Models (LLMs) for their AI team headquartered in Palo Alto, CA. This position involves using advanced models to shape the future of enterprise intelligence. As part of a growing company,...
- Parallel in Palo Alto is seeking a researcher or engineer to design and train models that empower our APIs for AI agents. This role involves tackling significant information retrieval challenges with a focus on integrating classical techniques and modern deep learning....
$147k - $211k
...effort. Minimum Qualifications Master’s degree in Computer Science, Engineering, Computer Information Systems, Mathematics, Physics, or a related field. At least 2 years of experience in a Research Engineer-related occupation. At least 2 years of experience in the...Full timeWork at office$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, CA4 days ago- ...Luma is pushing the boundaries of generative AI, building tools that redefine how visual content is created. We're seeking a Research Engineer to design and scale the infrastructure that powers our model evaluation efforts. This role is about building the pipelines, metrics...
- ...seed-stage robot learning startup founded by a team of Stanford researchers and builders. We’re deploying a massive fleet of humanoid... ...intelligence. We are a fast-paced, execution-driven team of engineers, roboticists, and builders. Our robots operate in real customer...Live inShift work
- Parallel Bio in Palo Alto is looking for a talented individual to design and train models for our innovative APIs, focusing on information retrieval for AI agents. The candidate should thrive on solving complex technical problems at scale and possess experience with embedding...
- I am seeking a Research Engineer to join a venture-backed AI and robotics startup building an AI-powered observability platform for critical infrastructure. This is an opportunity to work on cutting‑edge multimodal AI systems that combine language, vision, agentic reasoning...
- Voltai is looking for a talented individual to train advanced models aimed at semiconductor design and verification. In this role, you will collaborate with a team of experts to develop innovative methods for generating design data and optimizing performance. Ideal candidates...
- ...edge robotics startup in Palo Alto, is seeking an experienced ML Engineer to advance robot manipulation policies. In this role, you will... ...of humanoid robots, working closely with engineers and researchers. Your efforts will focus on practical experimentation and improving...
$158.8k - $218.1k
...Mountain View, CA Job Category Job Type Full-Time Job # 402656 Job Department 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...Full timeLocal area$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- ...Mountain View office. We're looking for a motivated perception engineer to join us on the ground floor, with runway for huge and... ...and advanced robotics controls Track record of product-focused research applied to real-world applications Fluency with Rust (or C++)...Work at officeImmediate start
$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...Full time$174k - $253k
...frameworks (e.g., JAX, Flax, or Gemax). Experience conducting research and development, including experimental design, implementation... ..., ECCV). About The Job At Google, research-focused Software Engineers are embedded throughout the company, allowing them to set up large...$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 hours$160k - $240k
Matic Robots, located in Mountain View, is seeking a Senior Research Engineer to spearhead perception research for autonomous robotics. This role demands advanced expertise in computer vision and machine learning, focusing on 3D perception, multi-class object detection,...- ...users. Headquartered in Palo Alto, Subsense brings together leading scientists and engineers to redefine the future of human-machine interaction. The Opportunity We are seeking a Research Engineer to design and build advanced physical systems in a multidisciplinary...
- Research Engineer - Multimodal Agentic Layer I'm working with a stealth AI robotics startup building AI-powered observability for critical infrastructure . Think: drones and quadrupeds autonomously monitoring solar farms, data centres, refineries, and other massive-scale...
- ...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...
- Snapshot We 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...
$200k - $280k
...learning, neural computation, and generative modeling. Our work sits at the frontier of AI research, and we believe the highest‑impact discoveries will come from researchers and engineers working as a single, tightly collaborative team. The name Metamorphic reflects our...Visa sponsorshipFlexible hours$200k - $280k
...learning, neural computation, and generative modeling. Our work sits at the frontier of AI research, and we believe the highest-impact discoveries will come from researchers and engineers working as a single, tightly collaborative team. The name Metamorphic reflects our...Visa sponsorshipFlexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Engineer. Be the first to apply!
Related searches
- research programmer Palo Alto, CA
- research engineer Palo Alto, CA
- ai research engineer Palo Alto, CA
- research software engineer Palo Alto, CA
- deep learning research engineer Palo Alto, CA
- historical research Palo Alto, CA
- neuroscience research Palo Alto, CA
- research and development internship Palo Alto, CA
- research and development engineer Palo Alto, CA
- vice president research Palo Alto, CA