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 with job ID 75046 in the email subject line.