Company DescriptionMillionLogics, 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 DescriptionWe 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 RemoteResponsibilities:- 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 strategiesRequired 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 computingExample 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.