About this role
Senior Software Engineer, Ontology & Reasoning Systems (819) at Protegrity. Location: Connecticut or New York. Role: owning ontology, modeling entities, building retrieval Requirements: 5+ years building backend systems; strong foundation in logic, discrete math and graph theory; experience with rule-based reasoning, knowledge graphs, LLM-powered pipelines, and production-grade engineering. Category: Software Development Seniority: Senior Level Tools: Python, Go, Java, Scala, Rust, LLMs, Datalog, Answer Set Programming, Prolog, SMT solvers, RAG, RDF, SPARQL, Neo4j, OWL, SHACL, CSP, vector search, property graphs Commitment: Full Time Workplace: Onsite Languages: English