onsite
Neuro Symbolic AI Researcher - NOVNEX CORPORATION
Research Engineer
Lead research on neuro‑symbolic architectures that fuse deep learning perception with logic‑based reasoning, leveraging PyTorch, Prolog, Datalog, NLP, and probabilistic modeling to create explainable, constraint‑aware AI systems.
About the role
Key Responsibilities
- Design and implement neuro‑symbolic models that integrate neural perception modules with symbolic reasoning engines.
- Develop differentiable programming pipelines for neural theorem proving and logic‑augmented language models.
- Apply probabilistic logic techniques to enhance uncertainty handling and auditability in AI outputs.
- Collaborate with cross‑functional teams to prototype and evaluate new architectures on real‑world datasets.
- Publish findings in top conferences and maintain open‑source codebases.
Requirements
- PhD or equivalent experience in AI, machine learning, or computational linguistics.
- Proficiency in PyTorch and experience with logic programming languages such as Prolog or Datalog.
- Strong background in NLP, probabilistic modeling, and differentiable programming.
- Excellent problem‑solving skills and a track record of publishing high‑impact research.
- Effective communication skills for presenting complex ideas to technical and non‑technical audiences.