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).