Senior Software Engineer, Ontology & Reasoning Systems (819)

📋 Description

• Own ontology and rule layer unifying data into a single reasoning model.
• Model entities, relationships, events, and constraints; write rules.
• Use LLMs at ingestion for extraction, normalization, categorization, validate.
• Ensure findings are traceable to source facts and rules.
• Build retrieval capabilities: vector search, keyword search, graph traversal.
• Ship production services and research prototypes with accuracy and maintainability.

🎯 Requirements

• 5+ years backend experience in Python, Go, Java, Scala, or Rust.
• Strong formal/mathematical foundation: discrete math, logic, graph theory.
• Reason about soundness, completeness, and tractability; express domains as formal rules.
• Hands-on with declarative/logic-based reasoning systems (Datalog, Prolog, etc.).
• Practical experience building LLM-powered systems with validation.
• Deep experience with knowledge graphs and graph data (RDF, SPARQL, Neo4j).

🎁 Benefits

• We offer a competitive salary and comprehensive benefits, with generous vacation and holidays.
• All employees have access to ongoing learning and development.
• Commitment to a diverse and inclusive workplace.