job specification

Company Description

MillionLogics, a trusted Oracle Partner, is a global IT solutions provider with offices in London, UK, and a development hub in Hyderabad, India. The company specializes in delivering smart, scalable, and future-ready IT solutions to empower businesses to evolve and lead. With expertise in Data & AI, Cloud migrations, IT consulting, and enterprise application optimization, MillionLogics offers tailored services with a focus on client success. Supported by a team of over 50 AI & Oracle experts, MillionLogics combines cutting-edge technology with a commitment to delivering impactful outcomes. Learn more about our services on our website.

Role Description

We are seeking a highly analytical and computationally proficient individual to join our team with a strong research background. You will be instrumental in contributing to this role by either crafting challenging and insightful problems in your respective research domain, devising elegant computational solutions.

Offer Details:

• Pay: $1500 per month (Net/take-home)
• Mode of work - Fully Remote

Responsibilities:

• Build multi-agent benchmark tasks that require multi-step mathematical reasoning, proof construction, or algorithmic problem-solving
• Design problems that are genuinely hard for a single agent but decomposable — competition math, numerical analysis, combinatorial optimization, statistical inference
• Create verification scripts that check mathematical correctness — numerical answers with appropriate tolerance, proof step validity, algorithm output correctness
• Write clear problem statements with precise notation, definitions, and output format
• Create decomposition guides that split problems into independent sub-computations or parallel solution strategies

Required Qualifications:

• 5+ years in mathematics, quantitative research, or computational science — competition math, university-level mathematics, or quantitative research background Python programming — NumPy, SciPy, or symbolic computation (SymPy) Experience writing mathematical proofs or formal derivations.
• Ability to create problems with precise, verifiable answers — not subjective or open-ended.
• Experience with AI coding benchmarks (SWE-bench, Terminal-bench) Comfortable with Docker — writing Dockerfiles, building images, and debugging container issues.
• Understanding of numerical methods — floating point tolerance, convergence criteria, error bounds.

Strong plus:  

• Experience creating math competition problems (AMC, AIME, Putnam, IMO, or similar). 
• Research in mathematics, theoretical CS, or quantitative fields. 
• Experience with automated theorem proving or formal verification. 
• Knowledge of AI reasoning benchmarks (GSM8K, MATH, AIME, GPQA, ARC-AGI). 
• Experience with large-scale numerical computation or scientific computing

Example of what you will produce:

A task requiring analysis of a system of 50 coupled differential equations modeling a chemical reaction network. The agent must determine equilibrium concentrations, stability conditions, and bifurcation points. Input includes the reaction network as a matrix, rate constants, and initial conditions. The verifier checks numerical answers with tolerance (1e-6), validates eigenvalue analysis for stability, and confirms bifurcation parameter ranges. The decomposition splits into 4 sub-agents: one computes equilibria, one analyzes local stability, one maps bifurcations, and one synthesizes the phase portrait. Oracle scores 1.0, single-agent scores 0.25, multi-agent scores 0.80.

Offer Details:

• Commitments Required: 8 hours per day with a 4-hour overlap with PST.
• Employment Type: Contractor position (Note: this role does not include medical/paid leave).
• Duration of Contract: 6months [expected start date is next week].

How to Apply?

Please send us your updated CV to CV@MILLIONLOGICS.COM with job ID 75046 in the email subject line.