Senior Software Engineer, Ontology & Reasoning Systems (819)
Protegrityabout 4 hours ago
Base Salary
$238k - $267k/yr
Responsibilities
- Own the ontology and rule layer that unifies various data types into a reasoning model.
- Model entities, relationships, events, and constraints across heterogeneous data sources.
- Utilize LLMs for extraction, normalization, and categorization of information.
- Ensure traceability of system findings to source facts and rules.
- Develop retrieval capabilities to support reasoning workflows.
- Enhance quality through entity resolution and structured handling of conflicting sources.
- Deliver production services and research prototypes focusing on correctness and reliability.
Requirements
- 5+ years of experience in backend systems using languages like Python, Go, Java, Scala, or Rust.
- Strong foundation in discrete mathematics, logic, and graph theory.
- Ability to express complex domains as formal rules and constraints.
- Hands-on experience with logic-based reasoning systems such as Datalog or Prolog.
- Practical experience with LLM-powered systems and validation of model outputs.
- Deep knowledge of knowledge graphs and graph databases like Neo4j.
- Experience designing systems with traceable outputs and evidence trails.
Benefits
- Competitive salary and comprehensive benefits.
- Generous vacation and holiday time off.
- Access to ongoing learning and development opportunities.
- Commitment to a diverse and inclusive workplace.