Formalize mathematical proofs in Lean for AI research, requiring experience with formal proof languages and a strong mathematics background....
Senior Machine Learning Engineer - AI Data TrainerLocation: Remote About The JobAt Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. This project is about capturing how
Senior Machine Learning Engineer to lead the creation of detailed reasoning traces for advanced AI models, mentor annotators, and design data strategies for complex decision-making scenarios....
Lean 4 Proof Engineer - Mathematical FormalizationJoin to apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr. Base pay range$70.00/hr - $150.00/hr Organization: Alignerr Position: Lean 4 Proof Engineer - Mathematical Formalization Type: Hourly
Bending Spoons seeks engineers who can build software that matters, owning projects from idea through production, and embedding AI into daily workflows to accelerate impact. You will work across stacks, from monoliths to microservices, with technologies
Analyzes financial information and metrics, providing concise summaries and evaluations....
About Alignerr Alignerr partners with leading AI labs to deliver financial specialists who support structured analysis, financial reviews, and dataset validation. Role Overview The Financial Analyst reviews financial statements, operational metrics, and structured datasets to provide concise summaries
Leverage your expertise in genomics as a Precision Medicine Data Lead with Alignerr. Shape the integration of healthcare datasets influencing AI-driven clinical insights, all from the comfort of your home. This flexible, fully remote hourly contract role
Become a remote Business Instructor with Alignerr, focusing on evaluating AI systems in business contexts. You will design scenarios and provide vital feedback for real-world applications. Alignerr is seeking experienced educators to engage in AI training that enhances
A data analysis consulting firm based in Toronto is looking for an Economic Analyst (Financial Markets) to analyze macroeconomic data and provide insights into market trends. The ideal candidate should have a background in economics or
Leverage your expertise as an Electrical Engineer at Alignerr, focusing on training advanced AI models. This fully remote role allows you to craft and evaluate engineering problems on your own schedule. Alignerr is seeking engineers with advanced degrees—Masters