Design and deploy AI workflows for advanced mathematical reasoning tasks. About the projects: We are building LLM evaluation and training datasets to train LLM to work on realistic software engineering problems.
About the role
Design and deploy AI workflows for advanced mathematical reasoning tasks. About the projects:
We are building LLM evaluation and training datasets to train LLM to work on realistic software engineering problems. One of our approaches in this project is to build verifiable SWE tasks based on public repository histories in a synthetic approach with human-in-the-loop ; while expanding the dataset coverage to different types of tasks in terms of programming language, difficulty level, and etc.
About the Role:
Turing is seeking a Senior AI Systems Engineer with deep expertise in multi-step agentic architecture to support a high-impact, exploratory mathematics research initiative. In this role, you will bridge pure mathematics and technical execution, designing and deploying complex AI agents capable of reasoning through advanced scientific and mathematical workflows.
Key Responsibilities
Design, build, and optimize multi-step agentic workflows capable of multi-hop reasoning, hypothesis generation, and technical validation.
Collaborate closely with mathematical researchers to translate complex, abstract proofs into structured technical specifications and automated pipelines.
Develop reusable architectural frameworks, tooling, and memory systems for STEM-focused AI agents.
Evaluate and iterate on agent performance, ensuring high accuracy, reliability, and trace logic across execution steps.
Qualifications
Technical Expertise: Proven track record of architecting and deploying production-grade, multi-step agentic systems (e.g., using frameworks like LangGraph, AutoGen, CrewAI, or custom orchestration).
Domain Experience: Background building AI/ML applications within STEM domains (Mathematics, Physics, Computer Science, or Quantitative Finance).
Core Skills: Advanced Python proficiency, experience with LLM orchestration, structured output generation, tool integration, and state management. …
Official source: work.turing.com. Details can change; the platform's page is the final word. How we check listings.