Pure Math & Lean 4 Specialist for AI Reasoning
Agency
Agency is seeking a Pure Mathematics and Lean 4 Specialist for a freelance AI trainer project. The role emphasizes rigorous proof construction, formalization in Lean 4, and collaboration to improve evaluation benchmarks. Ideal candidates hold a PhD or PostDoc in pure mathematics and bring deep knowledge in probability, analysis, algebra, and category theory, with strong metacognitive communication skills. #J-18808-Ljbffr Agency
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Pure Math & Lean 4 Specialist for AI Reasoning in New York, NY vacancy
$35 - $65 per hour
Meridial is seeking a Pure Mathematics Specialist for a Freelance AI Trainer Project. This role involves engaging deep mathematical expertise to train AI models... ...construct complex proofs, and convert this work into Lean 4 syntax. The ideal candidate holds a PhD or is...SuggestedRemote jobHourly payFreelance- Invisible Technologies is seeking a Mathematics Specialist fluent in Arabic to train AI and challenge large language models on advanced mathematics topics. You will verify reasoning, document errors, and help improve prompts and evaluation metrics in a remote contractor...SuggestedRemote jobFor contractors
- ...experts to support the training and evaluation of state-of-the-art AI systems. We need subject-matter experts who can apply deep... ...quantitative knowledge to AI evaluation problems, assess AI-generated reasoning, and identify technically meaningful errors within their field....SuggestedRemote jobContract workImmediate startFlexible hours
- ...eager to shape the future of AI? Large-scale language models are... ...We’re looking for mathematics specialists who live and breathe algebra,... ...failure mode so we can harden model reasoning. On a typical day, you will... ...experience, research in pure or applied mathematics, or hands...SuggestedHourly payContract workFor contractorsFreelanceRemote work
- Mercor is seeking experienced Project Management Specialists to evaluate and improve AI-driven project plans and workflows. You will review AI-generated... ...This remote, part-time role starts immediately for about 4-6 weeks. Pay begins task-based, with eligibility to switch...SuggestedHourly payPart timeImmediate startRemote work
- Meridial is seeking a Mathematics Specialist fluent in Swedish for a freelance AI Trainer project. As a remote role, you will engage in discussions with advanced language models on various mathematical topics, ensuring accuracy and proposing enhancements. The role requires...Remote jobHourly payFreelance
$8 - $30 per hour
Project Overview We are sourcing independent LaTeX Specialists to provide their expertise for an AI benchmark evaluation project. As AI models increasingly generate... ...AI outputs. Expected deliverables include: LaTeX & Math Rendering Correction: Identifying and correcting...Hourly payFor contractorsFreelanceRemote work$90k
...Job Title: Grade 3-4 Learning Specialist (Leave Replacement) Department: Lower Division FLSA Status: Exempt The Allen-Stevenson School - New York, NY About The Allen-Stevenson School The Allen-Stevenson School, founded in 1883, is a TK-8 independent school...Full timeTemporary workLocal areaImmediate startMonday to Friday1 day per weekThe Allen-Stevenson School
New York, NY2 days ago$207k - $275k
CoreWeave is The Essential Cloud for AI. Built for pioneers by pioneers, CoreWeave... ...services need a market-maker. As a Solution Specialist for AI Runtime Services, you open new... ...candidates with disabilities are provided reasonable accommodations for the hiring process,...Permanent employmentFull timeTemporary workCasual workWork at officeFlexible hoursCoreWeave
New York, NY4 days ago- ...complicated, and expensive. Jerry.ai is building the first app to... ...become a $10B business in the next 4 years. As our business... ...Hands-on: This is not a pure strategy role, you will also own... ...Jerry.ai is committed to providing reasonable accommodations for individuals...Hourly payFull timeContract workPart timeFreelanceLocal areaRemote workFlexible hours
$176.6k - $239k
...lock contention under heavy OLTP workloads, reasoning about query planner decisions, managing... ...the data platform is headed next? As a Specialist Solutions Architect for Aurora PostgreSQL... ...experience (Python, Java, etc.), and fluency with AI tooling (Kiro, Claude Code, Codex, etc.)...Local areaWorldwideFlexible hoursAmazonWebServices
New York, NY5 days ago$169k - $228.6k
...power of generative artificial intelligence (AI) and business intelligence? Amazon Web... ...to become a thought leader and deep specialist in Amazon Quick, our AI assistant for work... ...autonomous search engines that use multi-step reasoning (e.g., ReAct, Plan-and-Solve) to break...WorldwideFlexible hoursAmazonWebServices
New York, NY4 days ago- Remotebridge is seeking Dutch Transcription Experts to contribute to an AI training project. You will transcribe Dutch and English audio... ...expertise and attention to detail will shape how models learn, reason and perform. This is a remote, independent role with strict...Remote work
- ...’s investible assets. Every day, our teams harness cutting-edge AI and breakthrough technologies to collaborate with clients, driving... ...payments or compensation programs) at any time, including for reasons related to individual performance, Company or individual department...Work experience placementWorldwideFlexible hours
The Bank of New York Mellon
New York, NY3 days ago - ...Global Blackbelt, AI Security Specialist Darktrace is building a world-class team of specialist field experts with the ambition of becoming... ..., or local law. Darktrace is committed to providing reasonable accommodations to qualified individuals with disabilities in...Local area
- Lebanon School District is seeking an Intervention Support Specialist to help students succeed in reading and math. You’ll collaborate with teachers, literacy coaches,... ...-based strategies. The role is temporary, part-time (4 hours/day, 164 days for the 2026-2027 year) with...Hourly payTemporary workPart time
- ...literature expert eager to shape the future of AI? Large-scale language models are... ...generation of AI. We’re looking for literature specialists and avid readers with strong familiarity... ...modes so we can strengthen model reasoning and interpretive accuracy. On a typical...Hourly payFor contractorsFreelance
Agency.com
New York, NY13 hours ago - ...feedback to retrain and improve the system. The role involves assessing model outputs, comparing paired responses, and tagging content with the appropriate rubric categories. Strong attention to detail and clear written reasoning are essential. #J-18808-Ljbffr AuraOneRemote job
- Specialist, Service Management Full Description Specialist... ...to leverage AI, automation, and analytics... ..., or related field. 2-4 years of experience in... ...methodologies such as Lean, Six Sigma, Design Thinking... ...disability, you may request reasonable accommodations by...Full timeRemote work
$157.64k - $210.91k
...DetailsAbout SalesforceSalesforce is the #1 AI CRM, where humans with agents drive... ...account-focused/industry SEs and product specialist SEs. This role is for an Analytics Specialist... ...the world.AccommodationsIf you need a reasonable accommodation during the application or...Full timeWork experience placementRemote workSalesforce
New York, NY6 days ago- ...Every day, our teams harness cutting-edge AI and breakthrough technologies to... ...seeking a future team member for the role of Specialist Full Stack Engineer to join our Finance Hub... ...features of multiple toolkits.Strong logical reasoning and mathematical thinkingExperience...WorldwideFlexible hours
The Bank of New York Mellon
New York, NY5 days ago $169k - $228.6k
...about pioneering the future of generative AI and eager to help the world's largest and... ...intelligent automation and advanced reasoning capabilities. You'll design architectures... ...ll join a focused, high-calibre group of specialist Solutions Architects supporting the world...Flexible hoursAmazonWebServices
New York, NY3 days ago$131.3k - $177.6k
...knowledge and capability to customers through three layers of the AI stack: 1) Frameworks and Infrastructure with tools like Apache MxNet... ...at home, there’s nothing we can’t achieve. Basic qualifications- 4+ years of specific technology domain areas (e.g. software...WorldwideFlexible hoursAmazonWebServices
New York, NY6 days ago- ...Atomic Layer Deposition (ALD) and thin-film processes to support a frontier AI research lab. This hands-on role focuses on generating and evaluating scientific data that models use to reason about deposition, materials, and semiconductor processes. The ideal candidate...Remote job
£30k per year
...negotiating fair offers, and buying directly from the public. You’ll travel to roadshow venues, typically within a 2-hour radius, and enjoy a 4-day working week with competitive pay and commission. The starting salary is £30,000 p.a. #J-18808-Ljbffr Remote Worker LTD.Remote work- AuraOne is seeking qualified legal review professionals to remotely assess AI outputs for US and UK-based labor and employment matters. You will grade citations, statutory reasoning, and policy adherence, and document corrected analyses for model training. The role requires...Remote jobFor contractors10 hours per week
- ...team building modern, high-impact generative AI capabilities. You’ll work in a... ...applied machine learning experience.At least 4 years' experience in one of the programming... ...) techniques, including Agents, Planning, Reasoning, and other related methods.Experience with...
JP Morgan Chase
New York, NY2 days ago $182k - $242k
CoreWeave is The Essential Cloud for AI. Built for pioneers by pioneers, CoreWeave... ...roadmap and development. About the role:As a Specialist Field Engineer at CoreWeave, you will... ...with disabilities are provided reasonable accommodations for the hiring process, unless...Permanent employmentFull timeTemporary workCasual workWork at officeFlexible hoursCoreWeave
New York, NY2 days ago$80k - $110k
.... Our optimism transforms outcomes. Sia’s AI & Data Business Unit is the powerhouse of... ...voluntary insurance Tax-Advantaged Accounts 4% matching and 100% vested upon enrollment... ...Francisco—are expected to live within a reasonable commuting distance and attend the office at...Work at officeWorldwideVisa sponsorshipWork visaFlexible hours3 days per weekSIA
New York, NY4 days ago$122k - $240.5k
Position Summary Solution and AI Architect - AI & Engineering/EaaS Associate ArchitectJoin... ...experience as a full stack developer.4+ years’ experience as a Solution... ...the facts and circumstances of each case. A reasonable estimate of the current range is $122,000...Local areaRemote workFlexible hoursDeloitte
New York, NY3 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Pure Math & Lean 4 Specialist for AI Reasoning. Be the first to apply!
Related searches
- addiction specialist New York, NY
- youth engagement specialist New York, NY
- denials specialist New York, NY
- mathematics specialist New York, NY
- configuration specialist New York, NY
- enterprise solutions specialist New York, NY
- member outreach specialist New York, NY
- vetting specialist New York, NY
- occupancy specialist New York, NY
- creative specialist New York, NY