1–4 jobs· newest first
.png?1785784832)
Hybrid · Full-time
Hybrid · Full-time · Senior
Hybrid · Full-time · Senior
+10K new in the last hour
Apply formal methods and logical reasoning to production AI systems.
Build and deploy production systems that reason over ontology-grounded rules, axioms, policies, and domain knowledge using symbolic reasoning technologies.
Emergence AI offers competitive compensation.
Lead the architecture of a new generation of translation tools that convert Python algorithm code into correct, deployable C++ for embedded systems, overseeing pipeline design, analysis, lowering, and verification.
Lead the architecture of the translation pipeline, from parsing and semantic analysis through intermediate representation (IR) design to C++ code generation.
Pay depends on experience, but we strive to be at the upper end of the salary range