Let’s get started
By clicking ‘Next’, I agree to the Terms of Service
and Privacy Policy, and consent to receive emails from Rise
Jobs / Job page
Research Engineer, Reinforcement Learning image - Rise Careers
Job details

Research Engineer, Reinforcement Learning

Harmonic is a startup building the world’s most advanced mathematical reasoning engine. 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 experienced Research Engineer to join our Reinforcement Learning & Formal Methods team. The focus of this position will be on leading advancements in 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

  • Lead and 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 in Computer Science, Mathematics a related technical field, or equivalent industry experience

  • Demonstrated track record in developing novel, and impactful reinforcement learning systems.

  • 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

  • MS or PhD in Computer Science, Mathematics, or a related field.

  • Experience in applying RL 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.

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.

Harmonic Glassdoor Company Review
3.9 Glassdoor star iconGlassdoor star iconGlassdoor star icon Glassdoor star icon Glassdoor star icon
Harmonic DE&I Review
No rating Glassdoor star iconGlassdoor star iconGlassdoor star iconGlassdoor star iconGlassdoor star icon
CEO of Harmonic
Harmonic CEO photo
Patrick J. Harshman
Approve of CEO

Average salary estimate

$125000 / YEARLY (est.)
min
max
$100000K
$150000K

If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.

Similar Jobs
Posted 3 days ago

Pioneering AI Research Scientist position at Chai Discovery, focused on advancing AI-driven drug discovery and therapeutic design.

Photo of the Rise User
Posted 10 days ago

Horizon3.ai is seeking a senior Research Staff Member in Applied AI to build production-ready AI systems enhancing autonomous offensive security operations.

Photo of the Rise User
Posted 7 days ago

Lead Ingredion’s global Measurement Science strategy to accelerate innovation and growth as Director of Measurement Science based in Bridgewater, NJ.

Photo of the Rise User

Experienced Scientist wanted to lead and innovate within AbbVie's DNA-encoded Library platform, advancing drug discovery through chemistry and data analysis.

Photo of the Rise User
Posted 4 days ago

Lead statistical strategy and execution for clinical development projects at AbbVie’s North Chicago headquarters in a hybrid Director-level role.

Qualis LLC Hybrid No location specified
Posted 10 days ago

An opportunity at Qualis LLC for a Space Systems Analyst skilled in missile defense and space system analysis to support the Proliferated Warfighter Space Architecture program.

Experienced packaging development scientist needed to drive innovative food packaging solutions within Kraft Heinz's agile R&D team.

Shell Hybrid Houston - One Thousand Main
Posted 14 days ago

Senior Fundamental Analyst at Shell Energy North America to support renewable generation investments through expert market analysis and forecasting.

Photo of the Rise User
Dental Insurance
Disability Insurance
Flexible Spending Account (FSA)
Health Savings Account (HSA)
Vision Insurance
Sabbatical
Paid Holidays

Contribute to cutting-edge AI evaluation research at Handshake by advancing large language model understanding and building innovative frameworks in a fast-growing, expert-driven team.

Photo of the Rise User

A Clinical Laboratory Scientist role at North Vista Hospital offers the opportunity to perform complex laboratory analyses and contribute to high-quality patient care within a top healthcare system.

Photo of the Rise User
Pacific Biolabs Hybrid Hercules, California, United States
Posted 3 days ago

Contribute to high-quality microbiological testing and support client needs as a Microbiology Laboratory Analyst I/II/III at Pacific BioLabs.

Photo of the Rise User

Eurofins Scientific is hiring a Scientist specializing in small molecule analytical chemistry to join their method development and validation team in Lancaster, PA.

Photo of the Rise User
ASM Hybrid Phoenix, Arizona, United States
Posted 9 days ago

Lead ASM’s market analytics team to drive strategic business decisions through competitive intelligence and market opportunity evaluation in the semiconductor industry.

Harmonic answers the demand for advanced television features. The company provides fiber-optic and wireless network transmission products used to enable video-on-demand services. Its video transmission equipment includes digital headend systems, d...

10 jobs
MATCH
Calculating your matching score...
FUNDING
SENIORITY LEVEL REQUIREMENT
TEAM SIZE
EMPLOYMENT TYPE
Full-time, on-site
DATE POSTED
December 31, 2024

Subscribe to Rise newsletter

Risa star 🔮 Hi, I'm Risa! Your AI
Career Copilot
Want to see a list of jobs tailored to
you, just ask me below!