Remote Logic & Reasoning Systems Engineer (AI/Symbolic)

Emergence; United States; Remote; USD 150,000 - 230,000; Full time

Benefits offered by this job

Health benefits

401(k) with company match

Flexible PTO and holidays

Flexible remote work environment

Job summary

Emergence AI in the United States proposes a role for a Logic & Reasoning Systems Engineer/Scientist, focusing on advancing neuroformal architectures and trustworthy AI through production reasoning systems. You will collaborate with ontology specialists to deploy reasoning over domain knowledge in real-world settings.

Applicants should hold a Master’s or PhD in CS/AI, with deep expertise in symbolic reasoning and at least one of Prolog, Z3/SMT, Lean, Datalog, or ASP, plus strong software

Qualifications

• Master’s or PhD in Computer Science, AI, Logic, Formal Methods, or a closely related field.
• Deep expertise in symbolic reasoning, logic programming, or formal methods with hands-on experience in Prolog, Z3/SMT, Lean, Datalog, or ASP.
• Experience with reasoning under inconsistency, exceptions, and incomplete information.
• Strong software engineering skills and a track record of integrating reasoning technology into production systems.

Responsibilities

• Build production systems that reason over ontology-grounded rules, axioms, policies, and domain knowledge using Prolog, Z3/SMT, Lean, Datalog, ASP, or related tools.
• Design reasoning strategies that tolerate exceptions, inconsistency, and incomplete information.
• Implement deterministic or formally constrained SQL generation from grounded representations.
• Develop ontology-informed analytics, visualization, and root-cause analysis.
• Combine symbolic reasoning with trusted statistical or ML components where appropriate.
• Formalize components to enable trustworthy code generation and collaboration with ontology specialists.

Skills

Symbolic reasoning

Logic programming

Formal methods

Software engineering

Ontology knowledge

Neuro-symbolic systems

Education

Master’s or PhD in Computer Science or AI

Tools

Prolog

Z3/SMT

Lean

Datalog

ASP

Job description

Emergence AI in the United States proposes a role for a Logic & Reasoning Systems Engineer/Scientist, focusing on advancing neuroformal architectures and trustworthy AI through production reasoning systems. You will collaborate with ontology specialists to deploy reasoning over domain knowledge in real-world settings.

Applicants should hold a Master’s or PhD in CS/AI, with deep expertise in symbolic reasoning and at least one of Prolog, Z3/SMT, Lean, Datalog, or ASP, plus strong software