.png?1785784832)
- India
- Senior
Lead research and engineering efforts to develop verifiable AI systems using formal methods, logic, and machine learning.
Responsibilities
- Advance verifiable AI foundations through formal verification techniques
- Design formal representations such as domain-specific languages and ontologies
- Build end-to-end pipelines converting natural language and data into formal specifications
- Develop verification control layers linking generative AI to formal validation
- Create multi-agent systems with compositional correctness
Requirements
- Bachelor’s in Computer Science
- Master’s in Computer Science
- PhD in Computer Science
- Bachelor’s in Mathematics
- Master’s in Mathematics