Synthetic Reasoning Architect
Pioneer tree-of-thought exploration, formal logic verifiers, automated theorem proving, and self-correcting reasoning loops for complex analytical domains.
Role Overview & Operational Scope
Next-frontier AI requires verified reasoning over statistical pattern matching. In this role, you will build algorithmic search and verification pipelines (Tree-of-Thoughts, Graph-of-Thoughts, and verifier-guided decoding) that empower Cehpoint's agents to solve complex math, code, and architectural challenges with mathematical guarantees.
Key Responsibilities & Production Deliverables
- Design guided tree search algorithms (MCTS, beam search with learned value functions) for multi-step reasoning tasks.
- Implement automated step-by-step logic verifiers that detect deduction flaws in real time.
- Build recursive self-refinement loops that allow agents to debug their own intermediate solutions prior to output generation.
- Optimize token-level reasoning traces to maximize cognitive density while minimizing inference expenditure.
- Integrate formal verification engines (Z3 SMT solver, Lean, AST checkers) directly into the agent decision loop.
Mandatory Foundational Knowledge
- Formal logic, discrete mathematics, proof theory, and computational complexity.
- Thorough grasp of modern reasoning paradigms: Chain-of-Thought, Self-Consistency, Tree of Thoughts, and Process Reward Models (PRMs).
- Solid computer science foundation in graph algorithms, search heuristics, and state space navigation.
Mandatory Practical Skills & Architecture
- Advanced Python and/or C++/Rust for high-speed search tree execution.
- Demonstrated experience fine-tuning and prompting frontier models for structured reasoning tasks.
- Experience integrating formal solvers (Z3, CVC5) or deterministic grammar validators.
Problem Solving, Execution Rigor & Curiosity
- Passion for mathematical rigor, formal proofs, and eliminating cognitive hallucinations.
- Persistent drive to discover how synthetic models organize internal reasoning steps.
- Pragmatic builder who values verifiable correct answers over eloquent fabrications.
5-Day Live Technical Evaluation Milestone
5-Day Live Practical Milestone: Develop a self-verifying reasoning pipeline that breaks down ambiguous mathematical/legal problems into verifiable lemmas, validating each step before producing a synthesized solution (strictly 5 working days).
Institutional Hiring Protocol: Candidates who pass initial resume screening are invited to a live, practical evaluation milestone spanning strictly not more than 5 working days. Verifiable completion and code audit by your assigned senior engineering mentor is the sole prerequisite for official corporate offer letter issuance.
Compensation, Total Rewards & Advancement
- Premium compensation (₹15,00,000–₹25,00,000) with quarterly performance bonuses.
- Direct leadership of core intellectual property and flagship reasoning benchmarks.
- 100% remote flexibility with home office infrastructure setup.
- Full access to cutting-edge research clusters and frontier model reasoning APIs.
Dedicated Inquiries Inbox for This Role
Have questions regarding architecture scope or wish to share private research repos directly? Messages sent to this address route straight to the engineering leads reviewing this opening.
synthetic-reasoning-architect-careers@cehpoint.co.in
Open Mail Client →