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
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
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
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.
$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
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$174k - $253k
...aligning efforts across DeepMind to execute on shared, high-impact research goals.Report and present complex research breakthroughs... ...through to implementation.At Google, research-focused Software Engineers are embedded throughout the company, allowing them to setup large...Suggested$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$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...$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$174k - $252k
...intersection of Gemini, Search, factuality, continual learning, deep research, and domain internalization.Analyze models and model-driven... ...Retrieval (IR).3 years of experience with software engineering in Python, C++, JAX, or PyTorch programming, including experience...$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 - $253k
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...- ...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- ...Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys &... ...-driven hardware design. Working closely with researchers and engineers, you'll help make Voltai the world's leading AI + semiconductor...
Voltai, Inc
Palo Alto, CA2 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...Work from homeMatic
Menlo Park, CA1 day ago$147k - $211k
....Undertake exploratory analysis to inform experimentation and research directions.Make improvements to model architectures and training... ...:Bachelor's degree in Computer Science, Electrical Engineering, Mathematics, Statistics, a related technical field, or equivalent...$174k - $253k
...pipelines to detect model misbehavior and misuse end-to-end. Research and develop cross-context monitoring systems to detect coordinated... ...(LLM).Preferred qualifications:Master’s degree or PhD in Engineering, Computer Science, or a related technical field.3 years of experience...$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...$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, CA15 hours ago$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, CA3 days ago- 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
$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- ...clients design, deploy, and govern AI systems across regulated industries. Our applied research function sits at the intersection of frontier AI research and production engineering — investigating the foundational challenges that will determine whether enterprise agentic...Full timeWork experience placementLive inWork at officeLocal areaRelocation
$140k - $157k
About Exponent Exponent is the only premium engineering and scientific consulting firm with the depth and breadth of expertise to solve our clients’ most profoundly unique, unprecedented, and urgent challenges. Our vision is to engage multidisciplinary teams of science...Work at officeFlexible hours$224k - $356.5k
NVIDIA is the platform upon which every new AI-powered application is built. We are seeking a senior research engineer to design and build video search technologies for Autonomous Vehicles, Robotics, and Medical applications. The right person for this role brings technical...Full time$192k - $304.75k
...outstanding legacy of innovation that's fueled by phenomenal technology—and outstanding people! We are seeking a world-class engineer to drive applied research at the intersection of AI and ASIC design. Large language models, coding agents, and agentic AI are transforming how...Full time- ...driven smart operation, modern agentic coding, and seamless cloud orchestration.To help drive this mission, we are looking for a Research Engineer to tackle the industry's toughest challenges, including enabling AI coding for distributed systems, delivering determinism and...Contract workWork from homeHome officeFlexible hours
$140k
...deployment.Collaborate with cross-functional teams to integrate research outcomes into production systems.Analyze performance metrics... ...resumé to [email protected] with the position title “Research Engineer” in the email subject.CompensationBase salary is $140,000 per year...Work at office$224k - $356.5k
NVIDIA's AI Developer Tools organization is seeking a Senior Research Engineer to join our Research team, where we build the AI coding agents, models, datasets, and evaluations at the heart of NVIDIA's strategy to put AI-powered coding tools in the hands of every CUDA developer...Full timeShift work$224k - $356.5k
NVIDIA is searching for a senior or principal engineer who specializes in physics simulation in the Generalist Embodied Agent Research (GEAR) group. Our team is leading Project GR00T, NVIDIA’s moonshot initiative at building foundation models and full-stack technology...Full time$140k - $157k
About Exponent Exponent is the only premium engineering and scientific consulting firm with the depth and breadth of expertise to solve... ...candidate will have hands-on experience with battery-related research and possess a well-developed understanding of secondary and/or...Work at officeFlexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Engineer. Be the first to apply!
- deep learning research engineer Palo Alto, CA
- research engineer Palo Alto, CA
- research programmer Palo Alto, CA
- biology research Palo Alto, CA
- education research Palo Alto, CA
- vice president research Palo Alto, CA
- research professional Palo Alto, CA
- research phd Palo Alto, CA
- microsoft research Palo Alto, CA
- education policy research Palo Alto, CA