Harmonic

Part-time Lean Expert

Remote

Not SpecifiedCompensation
Junior (1 to 2 years)Experience Level
Part TimeJob Type
UnknownVisa
AI & Machine LearningIndustries

Requirements

Candidates must have demonstrated expertise in Lean4 and a strong quantitative background in mathematics, computer science, or a related field. Contributions to Lean mathematical libraries or projects are preferred, along with proficiency in TeX.

Responsibilities

The Lean Expert will model quantitative problems in Lean, committing a minimum of 7 hours per week to project-based work. This position is remote and offers a flexible schedule.

Skills

Lean4
Theorem Proving
Quantitative Analysis
Mathematics
Computer Science

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