.png?1785784832)
- Bengaluru, Karnataka, India
Apply formal methods and logical reasoning to production AI systems.
Responsibilities
- Build production systems that reason over ontology-grounded rules, axioms, policies, and domain knowledge
- Design practical reasoning strategies that tolerate exceptions, inconsistency, and incomplete information
- Implement deterministic or formally constrained SQL generation from grounded semantic representations
- Build ontology-informed analytical systems for analytics, visualization, BI, root-cause analysis, and excursion detection
- Combine symbolic reasoning with trusted statistical, ML, and algorithmic components
Requirements
- Master’s or PhD in Computer Science, AI, Logic, Formal Methods, or a closely related field
- Nice to have: combining logical reasoning with trusted analytical, statistical, or ML components