Key Responsibilities
- Develop and implement symbolic reasoning systems for complex problem-solving
- Design knowledge representation frameworks and automated reasoning algorithms
- Collaborate with researchers to integrate symbolic AI with machine learning models
- Optimize reasoning engines for performance and scalability in real-world applications
- Publish research findings and contribute to open-source symbolic AI projects
- Evaluate and benchmark reasoning systems against state-of-the-art methods
Requirements
- 5+ years of experience in AI research, particularly in symbolic reasoning or related areas
- Strong background in logic programming, automated reasoning, or knowledge representation
- Proficiency in Python and familiarity with formal logic systems
- Experience with natural language processing and semantic technologies
- Publications or contributions to symbolic AI research communities are a plus