Part-Time Executive Assistant
Unlearn AI- Full Time
- Entry Level & New Grad
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.
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.
Data platform for business intelligence
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.