Logic and Reasoning Systems Engineer
Get new jobs like this one by email. Create a free account for job alerts and to save the jobs you like.
Job Summary
Working remotely, the full-time salaried Logic and Reasoning Systems Engineer will develop production systems utilizing reasoning technologies such as Prolog and SMT solvers, focusing on building reliable systems that manage incomplete knowledge and exceptions.
Key responsibilities
- Build production systems that reason over ontology-grounded rules and domain knowledge using appropriate reasoning tools
- Design practical reasoning strategies that accommodate exceptions and inconsistencies in information
- Implement deterministic SQL generation from grounded semantic representations and contribute to technical leadership
Required qualifications
- Master's or PhD in Computer Science, AI, Logic, Formal Methods, or a related field
- Deep expertise in symbolic reasoning and hands-on experience with Prolog, Z3/SMT, Lean, Datalog, or ASP
- Practical understanding of reasoning under inconsistency and closed-world assumptions
- Strong software engineering skills with a track record of integrating reasoning technology into production systems
- Familiarity with ontologies and knowledge representation
Complete Job Description
The complete job description is available to premium members. Premium membership includes:
Full access to 37,697 remote jobs from human-vetted companies, updated daily
Resume Builder - AI-powered tool to craft, enhance, and tailor your resume to a specific job
Twice-monthly live group coaching and the full Remote Career Center
20% member discount on Career Services
Backed by a 30-day money-back guarantee
Company Company Name
Headquarters Headquarters
Founded Founded
Website
The company description is available to premium members. Go Premium for full access to every job and company profile in our remote jobs database, backed by a 30-day money-back guarantee.
