Key Responsibilities
- Develop and implement symbolic reasoning systems and logic-based AI models
- Design algorithms for knowledge representation and automated reasoning
- Collaborate with researchers to advance symbolic AI techniques
- Optimize performance of reasoning engines for real-world applications
- Publish findings in academic conferences and journals
- Prototype and evaluate novel approaches in symbolic AI
Requirements
- 5+ years of experience in symbolic AI, logic programming, or related fields
- Strong background in Prolog, automated reasoning, or knowledge representation
- Proficiency in Python and mathematical logic
- Experience with formal verification or theorem proving is a plus
- Publications or contributions to symbolic AI research are desirable