Creating expert mathematics problems grounded in proof and formal methods, then checking AI answers for rigour. Suits PhD mathematicians with formal proof or symbolic computation skills who are authorised to work in the US.
عن الوظيفة
Opportunity Overview
Handshake is looking for experienced mathematicians and research scientists to support AI research through flexible, part-time contract work. This is not a traditional job — you'll draw on your hands-on experience in pure or applied mathematics to evaluate AI-generated content and provide feedback that helps AI reason like a practicing mathematician. This role will have potential opportunity to publish alongside our research team.
This is an ongoing, project-based opportunity you can take on alongside your current role.
What You'll Do
- Use your domain expertise to create expert-level mathematics problems and scenarios grounded in real proof, formalization, and computational workflows
- Review and evaluate AI-generated responses for technical accuracy, rigor, and alignment with how the work is actually done
- Provide structured written feedback to help improve AI model performance
- Complete tasks at your own pace with no set schedule or minimum hour requirement
Qualifications
Ideal candidates meet all three of the following:
- Degree — PhD in Mathematics (pure or applied)
- Sub-domain depth — demonstrated expertise in one of the following areas:
- Proof and formal methods (Lean, Coq, Isabelle)
- Symbolic computation (SageMath, Mathematica), optimization, and numerical analysis
- A core subfield such as algebra, topology/geometry, number theory, analysis, or combinatorics
Candidates who meet at least 2 of the 3 qualifications above are also encouraged to apply.
Additional qualifications (not required, but strengthen your application)
- Proficiency with theorem provers and symbolic computation software
- Experience formalizing proofs or working on problems at the edge of what current AI models can handle
Required for all applicants
- Must have US work authorization
- Strong written communication and attention to detail
- Ability to explain complex mathematical concepts clearly
- Ability to work independently in a remote, asynchronous environment
About
Handshake AI
Work authorization information
F-1 students who are eligible for CPT or OPT may be eligible for projects on Handshake AI. Work with your Designated School Official to determine your eligibility. If your school requires a CPT course, Handshake AI may not meet your school’s requirements. STEM OPT is not supported. See our Help Center article for more information on what types of work authorizations are supported on Handshake AI.
Terms of service
المصدر الرسمي: joinhandshake.com. قد تتغير التفاصيل؛ والكلمة الأخيرة لصفحة المنصة.هل في هذه الوظيفة خطأ؟ أخبرنا.
كيف تُوظَّف لدى Handshake AI المزيد من وظائف الرياضيات والعلوم كل وظائف Handshake AI وظائف تدريب الذكاء الاصطناعي لخبراء الرياضيات والعلوم في الولايات المتحدة كم تدفع Handshake AI؟ هل Handshake AI موثوقة؟ كيف تفرز Handshake AI المتقدمين وظائف في الولايات المتحدة