Ontology Engineer — Formal Verification & Automated Reasoning
Grafton Sciences
San Francisco Bay Area, California, United States
permanent
Ontology EngineeringFormal VerificationAutomated ReasoningKnowledge RepresentationComputational LogicProgramming Skills (Python, Rust)Tool IntegrationType SystemsSemantic Validation
About Grafton Sciences 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 buildin...
January 16, 2026
View Details