Research Engineer / Scientist, Alignment Science
AnthropicSalary not specified
- Full Time
- Junior (1 to 2 years)
Not SpecifiedCompensation
Junior (1 to 2 years), Senior (5 to 8 years)Experience Level
Full TimeJob Type
UnknownVisa
AI & Machine Learning, Data & Analytics, ResearchIndustries
Requirements
Candidates must possess a BS in Computer Science, Mathematics, or a related technical field, or equivalent industry experience. A demonstrated track record in developing novel and impactful reinforcement learning systems is required, along with strong programming skills in Python and experience in deep learning frameworks such as PyTorch. A solid understanding of mathematical concepts, including algebra, geometry, and analysis, is also necessary. Preferred qualifications include an MS or PhD in a relevant field and experience in applying RL to formal methods, as well as a proven record of high-quality research through publications, patents, or software contributions.
Responsibilities
The Research Engineer will lead and conduct high-quality research at the intersection of reinforcement learning and formal methods, focusing on mathematical theorem proving. They will develop and implement novel RL algorithms and models for theorem proving, collaborate with a multidisciplinary team to integrate RL techniques with formal methods, and stay updated on the latest developments in RL, formal methods, and related fields.
Skills
Python
Software Development
Testing
PyTorch
Reinforcement Learning
Formal Methods
Mathematical Theorem Proving
Algebra
Geometry
Analysis
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