Logic & Reasoning Systems Engineer / Scientist New

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

Logic & Reasoning Systems Engineer / Scientist

Remote

About Emergence AI

Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterprise AI: systems capable of understanding complex knowledge, reasoning across information, executing multi-step workflows, and taking action with the verifiability and reliability required for mission-critical environments.

Our Enterprise Agent Platform provides the foundation for building, deploying, and operating AI systems in production — from data connectivity and knowledge management to workflow orchestration, observability, evaluation, and governance. We partner with organizations in semiconductor manufacturing, life sciences, and other data-intensive industries to solve complex challenges that require trusted AI systems capable of operating in real-world environments.

Our team brings experience from leading AI research labs and technology companies, including IBM Research, The Allen Institute for AI, Amazon, and Broadcom. With headquarters in New York and offices across California, Spain, and India, we bring together diverse expertise and perspectives to tackle some of the most challenging problems in enterprise AI.

About the Role

This role is about putting established reasoning technologies to work in the real world: Prolog , SMT solvers such as Z3, Lean, Datalog , answer set programming (ASP), description-logic reasoners, and related tools. The challenge goes beyond proving theorems. It is about making reasoning hold up reliably in the face of incomplete knowledge, exceptions, conflicting rules, and real computational limits. You will work closely with specialists in computational linguistics and ontology.

You’ll

• Build production systems that reason over ontology-grounded rules, axioms, policies, and domain knowledge, choosing Prolog, Z3/SMT, Lean, Datalog, ASP, or related tools where each fits best.
• Design practical reasoning strategies that tolerate exceptions, inconsistency, and incomplete information, drawing on closed-world reasoning, stratification, defeasibility, constraint solving, and contradiction detection.
• Implement deterministic or formally constrained SQL generation from grounded semantic representations.
• Build ontology-informed analytical systems for analytics, visualization, BI, root-cause analysis, and excursion detection.
• Combine symbolic reasoning with trusted statistical, ML, and algorithmic components where appropriate.
• Formalize computational components to enable trustworthy code generation through controlled composition, and work with ontology specialists to represent each component’s capabilities, requirements, constraints, and semantics.
• Turn advanced R&D concepts into robust commercial systems.
• Contribute to technical leadership and the development of novel methods, including publications and patents where appropriate.

You’ll Have

• Master’s or PhD in Computer Science, AI, Logic, Formal Methods, or a closely related field, pairing strong academic grounding with meaningful commercial experience.
• Deep expertise in symbolic reasoning, logic programming, or formal methods, with hands‑on experience in one or more of Prolog, Z3/SMT, Lean, Datalog, ASP, or theorem proving.
• A practical understanding of reasoning under inconsistency, exceptions, and incomplete information, including defeasible and non-monotonic reasoning, closed-world assumptions, and stratified rule systems.
• Strong software engineering skills and a track record of integrating reasoning technology into production systems.
• Familiarity with ontologies and knowledge representation.
• Highly desirable: experience combining logical reasoning with trusted analytical, statistical, or ML components.
• Experience with rule engines, formal verification, deterministic SQL generation, ontology-informed analytics, policy reasoning, trustworthy code generation, or neuro-symbolic and neuroformal systems would be particularly valuable.

Emergence AI offers competitive compensation.

• Comprehensive health benefits including medical, dental and vision.
• 401(k) with company match.
• Flexible PTO and company holidays.
• Flexible hybrid/remote work environment.
• The opportunity to work at the forefront of technological advancement.

Emergence AI is an equal opportunity employer committed to building an inclusive workplace where people with diverse backgrounds, experiences, and perspectives can do their best work. We believe building trustworthy AI requires diverse ways of thinking, and we're committed to creating an environment where everyone can thrive.

If you're excited about this opportunity but don't meet every qualification, we encourage you to apply. We value curiosity, ownership, and the ability to learn just as much as matching every item on a job description.