Harmonic

Research Engineer

Palo Alto, California, United States

Auto‑apply with AI Apply

Not SpecifiedCompensation

Junior (1 to 2 years), Mid-level (3 to 4 years)Experience Level

Full TimeJob Type

UnknownVisa

AI & Machine Learning, Data & Analytics, ResearchIndustries

Requirements

Candidates must possess a BS or MS in Computer Science, Mathematics, or a related technical field, or equivalent industry experience. Strong programming skills in Python and experience in software development and testing are required. Familiarity with deep learning frameworks such as PyTorch and a solid understanding of mathematical concepts, including algebra, geometry, and analysis, are essential. Preferred qualifications include a PhD in a relevant field and experience applying AI to practical problems in formal methods.

Responsibilities

The Research Engineer will conduct high-quality research at the intersection of reinforcement learning and formal methods, focusing on mathematical theorem proving. They will develop and implement novel reinforcement learning algorithms and models, collaborate with a multidisciplinary team to integrate these techniques with formal methods, and stay updated on the latest developments in the field.

Skills

Python

Software Development

Testing

Deep Learning

PyTorch

Algebra

Geometry

Analysis

Reinforcement Learning

Formal Methods

Theorem Proving

Harmonic

Data platform for business intelligence

About Harmonic

Harmonic.ai provides a platform that offers detailed information on over 20 million companies and 160 million individuals, primarily serving clients in the business intelligence sector such as investment firms and venture capitalists. Users can access a vast and constantly updated database through a subscription service, which includes features like hyper-specific searches, alerts for actionable companies, and team network utilization. The platform also supports integration with users' systems via a Chrome extension and an API, enhancing workflow efficiency. A notable feature is the bulk import option, allowing clients to manage large data volumes effectively. Harmonic.ai aims to empower businesses and investors to make informed decisions by leveraging comprehensive data and advanced search capabilities.

Key Metrics

San Francisco, CaliforniaHeadquarters

2021Year Founded

$29.2MTotal Funding

SERIES_ACompany Stage

Data & Analytics, Enterprise Software, Financial ServicesIndustries

51-200Employees

Benefits

Health Insurance

401(k) Company Match

Free Lunch

Company Social Events

Commuter Benefits

Quarterly company-wide offsites

Risks

Increased competition from low-cost platforms like EdgeIn could attract Harmonic's potential customers.

Growing AI security concerns may impact customer trust and regulatory scrutiny for Harmonic.

Ethical and regulatory challenges may arise as Harmonic's AI capabilities expand.

Differentiation

Harmonic offers a comprehensive database of over 20 million companies and 160 million individuals.

The platform provides advanced search capabilities and real-time alerts for actionable opportunities.

Harmonic's bulk import feature allows seamless integration with clients' data warehouses.

Upsides

Harmonic raised $75M to develop AI with superior mathematical capabilities, enhancing its platform.

The rise in AI-driven business intelligence tools increases demand for Harmonic's services.

Harmonic's text-based search tool aligns with the need for sophisticated data querying.

Land your dream remote job 3x faster with AI

Try Jobo Free