We’re building AI systems with general physical ability — the capacity to experiment, engineer, or manufacture anything. We believe achieving this is a key step towards building superintelligence. With deep technical roots and real-world progress at scale (e.g., a $42M NIH project), we’re pushing the frontier of physical AI. Joining us means inventing from first principles, owning real systems end-to-end, and helping build a capability the world has never had before.
About the Role
We are seeking an Ontology Engineer specializing in Formal Verification and Automated Reasoning to define and maintain the formal semantic foundations of complex software and AI-driven systems.
In this role, ontologies are not documentation—they are executable specifications that define domain meaning, invariants, and constraints. You will design ontological models that serve as the source of truth for formal specifications, and work with verification and reasoning tools to ensure systems behave correctly with respect to those semantics.
This role sits at the intersection of ontology engineering, logic and system correctness.
What You’ll DoDesign and maintain formal ontologies capturing domain concepts, relations, and invariants.
Encode ontological constraints into machine-checkable specifications used by verification tools.
Translate ontologies into logical representations suitable for SMT solving, model checking, or theorem proving.
Define and validate semantic invariants that systems must preserve across all executions.
Collaborate with software, systems, and AI engineers to align implementations with formal semantic contracts.
Develop tooling and pipelines that connect ontologies to verification and reasoning workflows.
Analyze counterexamples and verification failures to refine ontologies and system designs.
Support reasoning systems, planners, or agents by ensuring their inputs and outputs are ontologically valid.
What We’re Looking For
Ontology & semantics
Strong experience in ontology engineering or knowledge representation.
Ability to define precise semantics for complex, evolving domains.
Experience with ontological constraints, typing systems, and validation rules.
Formal methods
Hands-on experience with formal verification or automated reasoning.
Familiarity with one or more of:
SMT solvers (Z3, CVC5)
Model checkers (TLA+, Alloy)
Theorem provers (Coq, Lean, Isabelle)
Rule-based or logic programming systems (Datalog, Prolog)
Engineering depth
Strong programming skills (e.g., Python, Rust, OCaml, Java).
Experience building or integrating semantic tooling into production systems.
Ability to balance formal rigor with engineering practicality.
Nice to Have
Experience compiling OWL/RDF ontologies into logical constraints.
SHACL or constraint-based validation tied to verification pipelines.
Background in type theory, semantics, or programming languages.
Experience verifying AI, agentic, or neuro-symbolic systems.
Contributions to ontology standards, verification tools, or open-source semantic systems.
Education
MS or PhD in Computer Science, Information Science, Mathematics, or a related field
(or equivalent depth through experience).Above all, we look for candidates who can demonstrate world-class excellence.
Compensation
We offer competitive salary, meaningful equity, and benefits.
Similar Jobs
What We Do
Grafton Sciences is pioneering AI systems with general physical ability, the capacity to experiment, engineer, or manufacture anything. By pairing this physical substrate with advanced learning architectures, our goal is to build superintelligence. Backed by leading partners, including ARPA-H, we are redefining how the physical world is queried at scale.
