Research Engineering Lead, Formal Methods at Harmonic

Palo Alto, California, United States

Apply Now

Not SpecifiedCompensation

Expert & Leadership (9+ years)Experience Level

Full TimeJob Type

UnknownVisa

Artificial Intelligence, Formal MethodsIndustries

Requirements

BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experience
Basic proficiency in Python
Mathematical reasoning and automated theorem proving in Lean
Driving highly technical research projects from early concept to delivery

Responsibilities

Conduct research in formal methods for mathematical theorem proving
Apply formal verification techniques using Lean or similar frameworks to formally verify safety-critical systems
Develop and implement algorithms and techniques to improve the efficiency and effectiveness of formal methods for AI systems

Skills

Key technologies and capabilities for this role

PythonLeanFormal MethodsTheorem ProvingFormal VerificationMathematical Reasoning

Questions & Answers

Common questions about this position

Is this position remote?

Yes, this is a remote position.

What is the salary for this role?

This information is not specified in the job description.

What skills are required for this position?

Required skills include basic proficiency in Python, expertise in mathematical reasoning and automated theorem proving in Lean, and experience driving highly technical research projects from concept to delivery. A BS or MS in Computer Science, Mathematics, or related field is also required.

What does the team at Harmonic focus on?

The team focuses on advancing mathematical theorem proving using cutting-edge AI techniques and integrating AI with formal methods to solve complex problems.

What makes a strong candidate for this role?

A strong candidate has a PhD in Computer Science, Mathematics, or related field, experience verifying programs in safety-critical fields, a proven track record of high-quality research via publications, patents, or software contributions, and contributions to open-source projects in the field.

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.

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