Mathematics Expert (PhD)

ixolabs.ai; France; Sur place; EUR 65 000 - 110 000; Plein temps

Résumé du poste

ixolabs.ai seeks a Mathematics Expert (PhD) to craft graduate-level mathematical content enabling AI to grasp complex theories and solve problems. You will work on proofs in abstract algebra, topology, and logic, and develop rigorous training data for topology and number theory.

You will design and critique advanced mathematical problems, ensuring precision and contributing to long-term research tasks with flexible commitment.

Qualifications

• PhD in Mathematics from a top-tier institution.
• Specialized expertise in at least two of: abstract algebra, topology, number theory, mathematical logic, or category theory.
• Extensive experience with rigorous mathematical proof construction and formal argumentation.
• Strong publication record in peer-reviewed mathematics journals is highly desirable.
• Exceptional ability to communicate highly abstract mathematical concepts with clarity and precision.
• Proficiency with LaTeX for mathematical typesetting.

Responsabilités

• Develop detailed, rigorous proofs and explanations for concepts in abstract algebra, including group theory, ring theory, and field extensions.
• Create comprehensive training data for topology, covering metric spaces, continuity, compactness, and fundamental groups.
• Formulate and elaborate on advanced topics in number theory, such as algebraic number theory, analytic number theory, and elliptic curves.
• Evaluate AI-generated content on mathematical logic, set theory, and foundations of mathematics, ensuring absolute precision and correctness.
• Design challenging problems that require deep theoretical understanding and multi-step logical deduction in advanced mathematical domains.
• Provide expert critique of AI’s ability to generate novel conjectures or prove complex theorems, guiding its development towards genuine mathematical insight.

Connaissances

Abstract algebra

Topology

Mathematical logic

Category theory

Number theory

LaTeX

Proof construction

Academic publishing

Formation

PhD in Mathematics

Outils

LaTeX

Description du poste

Pushing the boundaries of AI reasoning requires an understanding of mathematics at its most abstract and rigorous. As a Mathematics Expert with a PhD, you will be at the forefront, crafting advanced mathematical content that enables AI to grasp complex theories and solve problems at the graduate research level.

Why This Role Matters

Your expertise in abstract algebra, topology, and mathematical logic is critical for training AI to engage with the deepest levels of mathematical thought. You’ll empower AI to not just compute, but to understand the underlying structures and proofs that define advanced mathematics, fostering truly sophisticated reasoning capabilities.

Key Responsibilities

• Develop detailed, rigorous proofs and explanations for concepts in abstract algebra, including group theory, ring theory, and field extensions.
• Create comprehensive training data for topology, covering metric spaces, continuity, compactness, and fundamental groups.
• Formulate and elaborate on advanced topics in number theory, such as algebraic number theory, analytic number theory, and elliptic curves.
• Evaluate AI-generated content on mathematical logic, set theory, and foundations of mathematics, ensuring absolute precision and correctness.
• Design challenging problems that require deep theoretical understanding and multi-step logical deduction in advanced mathematical domains.
• Provide expert critique of AI’s ability to generate novel conjectures or prove complex theorems, guiding its development towards genuine mathematical insight.

Ideal Qualifications

• PhD in Mathematics from a top‑tier institution.
• Specialized expertise in at least two of the following: abstract algebra, topology, number theory, mathematical logic, or category theory.
• Extensive experience with rigorous mathematical proof construction and formal argumentation.
• Strong publication record in peer‑reviewed mathematics journals is highly desirable.
• Exceptional ability to communicate highly abstract mathematical concepts with clarity and precision.
• Proficiency with LaTeX for mathematical typesetting.

Project Timeline

• Start Date: Immediate
• Duration: Ongoing, long‑term research‑oriented tasks
• Commitment: Flexible, project‑based, estimated 15-30 hours/week.

Advance AI’s mathematical frontier – apply as a Mathematics Expert (PhD)!