
$0-$0 / yr
Salary
brazil
Region
ASAP
Start Date
Gramian Consultancy brings together the perspective of a software engineer, the knowledge of a technical recruiter, and the vision of a business builder. This unique experience is our signature advantage to delivering top quality services in the domain of recruiting, staff augmentation, and outsourcing.
Gramian Consultancy is a boutique consultancy specializing in IT professional services and engineering talent solutions. With a strong background in software engineering and leadership, we help companies build high-performing teams by matching them with professionals who truly fit their needs.
Role Overview
We are partnering on an advanced AI research initiative focused on improving mathematical reasoning capabilities in next-generation AI systems. The project involves developing and evaluating challenging mathematics benchmarks used to assess how effectively AI models solve complex, multi-step reasoning problems.
We are looking for candidates with strong backgrounds in competitive mathematics and proof-based reasoning. You will create original mathematical challenges, write rigorous solutions, and evaluate AI-generated reasoning across domains such as Algebra, Number Theory, Combinatorics, and Geometry. This role is ideal for individuals with experience in mathematical competitions, advanced mathematics studies, or mathematics education.
Responsibilities:
Design original competition-level mathematics problems
Create challenging reasoning tasks across Algebra, Number Theory, Combinatorics, and Geometry
Write complete, rigorous, and self-contained mathematical solutions
Use LaTeX to properly document mathematical expressions and proofs
Evaluate AI-generated solutions for correctness and logical consistency
Identify reasoning errors, incorrect assumptions, and gaps in proofs
Classify problems by topic, difficulty, and mathematical domain
Contribute to the development of advanced mathematical evaluation benchmarks
Collaborate with reviewers to improve quality and consistency of evaluations
Commitments Required: 20-40 hours/week
Employment type: Contractor assignment (no medical/paid leave)
Duration of contract: 3 months
Location: Remote - Bangladesh, Brazil, Colombia, Egypt, Ghana, India, Pakistan, Indonesia, Nigeria, Turkey, Vietnam
Selection process: home assignment
Requirements
Strong competitive mathematics background (AIME, HMMT, IMO, national Olympiads, or equivalent)
Advanced knowledge of Algebra, Number Theory, Combinatorics, and Geometry
Bachelor's or Master's degree in Mathematics, Applied Mathematics, Statistics, Engineering, or a related field
Experience writing mathematical proofs, solutions, or technical content
Proficiency with LaTeX