Subject Matter Expert, Mathematics (Contract)
LabelboxSalary not specified
- Full Time
- Junior (1 to 2 years)
Not SpecifiedCompensation
Junior (1 to 2 years)Experience Level
Part TimeJob Type
UnknownVisa
AI & Machine LearningIndustries
Position Overview
- Location Type: Remote
- Employment Type: Contract
- Time Commitment: Minimum of 7 hours / week, Flexible, project-based schedule
Seeking experts in Lean4 theorem proving to model quantitative problems in Lean.
Requirements
- Demonstrated expertise in Lean4
- Strong quantitative background (mathematics, CS, etc.)
Preferred Qualifications
- Contributions to Lean mathematical libraries or projects
Responsibilities
- Modeling quantitative problems in Lean using Lean4 theorem proving.
Application Instructions
- No specific application instructions provided in the original text.
Company Information
- 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.
- Learn more about what we are working on! Is Math the Path to Chatbots That Don't Make Stuff Up? Training Data Podcast: Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters
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.
San Francisco, CaliforniaHeadquarters
2021Year Founded
$29.2MTotal Funding
SERIES_ACompany Stage
Data & Analytics, Enterprise Software, Financial ServicesIndustries
51-200Employees