1

Automated Reasoning Jobs in Texas (NOW HIRING)

QA Engineer (Automation)- Dallas, TX

Dallas, TX

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...

QA Engineer (Automation)- Dallas, TX

Dallas, TX · On-site

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...

QA Lead (Automation+Performance)- Dallas, TX

Dallas, TX · On-site

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...

... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...

... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...

Principal Software Engineer (Python)

Dallas, TX · On-site +1

$133K - $179K/yr

  • Medical

  • Life

  • Retirement

  • PTO

Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...

Principal Software Engineer (Python)

Austin, TX · On-site +1

$133K - $179K/yr

  • Medical

  • Life

  • Retirement

  • PTO

Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...

Product Manager - Dallas, TX

Dallas, TX

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

... of reasoning, planning, and executing tasks. You will bridge the gap between complex AI research ... Identify use cases where AI agents can provide the most ROI-such as automated research, proactive ...

Product Manager - Dallas, TX

Dallas, TX · On-site

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

... of reasoning, planning, and executing tasks. You will bridge the gap between complex AI research ... Identify use cases where AI agents can provide the most ROI-such as automated research, proactive ...

Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...

Executive Director, Data & AI

Dallas, TX · On-site

  • Medical

  • Life

  • Retirement

  • PTO

... automated action → revenue lift Power Commercial Intelligence & Growth Engines * Deliver AI ... Graph Strategy & Reasoning - Spearheaded enterprise graph strategy to move beyond relational ...

Executive Director, Data & AI

Dallas, TX · Remote

  • Medical

  • Life

  • Retirement

  • PTO

Establish clarity of intelligence: unified data unified semantics trusted insights automated action ... Graph Strategy & Reasoning - Spearheaded enterprise graph strategy to move beyond relational ...

Showing results 21-40

Automated Reasoning information

What is automated reasoning?

Automated reasoning is a field of computer science and mathematical logic dedicated to understanding how reasoning can be automated using computers. It involves developing algorithms and software that allow computers to prove theorems, verify software and hardware systems, and solve logical problems. Automated reasoning is used in areas such as formal verification, artificial intelligence, and knowledge representation, helping to ensure systems behave as intended and are free of certain types of errors.

What are the key skills and qualifications needed to thrive as an automated reasoning engineer?

To thrive as an Automated Reasoning Engineer, you need a strong background in computer science, logic, and formal verification, often supported by an advanced degree in a related field. Familiarity with formal methods tools (such as SMT solvers, model checkers), programming languages like Python, C++, or OCaml, and experience with verification frameworks are typically important. Analytical thinking, problem-solving, and effective communication skills help engineers tackle complex proofs and collaborate with interdisciplinary teams. These skills are crucial for ensuring the reliability and correctness of software and hardware systems in safety-critical environments.

What are some common challenges faced by professionals working in automated reasoning roles?

Professionals in Automated Reasoning often encounter challenges such as handling highly complex logical problems, ensuring the scalability of reasoning algorithms, and integrating automated reasoning tools with existing systems. Collaborating with interdisciplinary teams—including software engineers, data scientists, and domain experts—can present communication hurdles, as explaining formal logic concepts to non-experts is sometimes necessary. Additionally, staying up-to-date with the latest research and advancements in theorem proving and formal verification is crucial for continued success in this rapidly evolving field.

What cities in Texas are hiring for Automated Reasoning jobs?

Cities in Texas with the most Automated Reasoning job openings:

Infographic showing various Automated Reasoning job openings in Texas as of August 2026, with employment types broken down into 89% Full Time, 6% Part Time, 4% Contract, and 1% Nights. Highlights an 86% Physical, 4% Hybrid, and 10% Remote job distribution.

Principal / Lead AI ML Engineer with Graphs & GenAI C2C jobs Onsite - Dallas, TX

Tech Mirrors

Dallas, TX • On-site

Other

Posted 13 days ago


Job description

Job Title-Principal / Lead AI ML Engineer with Graphs & GenAI

Location- Onsite – Dallas, TX

Long Term Contract

Experience Required
10+ years of hands-on experience in AI/ML engineering, with strong depth in knowledge graphs, unstructured data processing, and generative AI systems.
Role Summary
We are seeking a highly experienced AI/ML Engineer with a strong foundation in knowledge graph engineering and generative AI to design, build, and scale intelligent data pipelines that transform large scale unstructured data into enterprise grade Knowledge Graphs.
The ideal candidate will have deep experience in ontology modeling, entity resolution, probabilistic pattern matching, and agentic knowledge base enrichment, combined with strong expertise in LLMs/SMLs, fine tuning pipelines, and graph based reasoning systems.
This role involves architecting and delivering production grade AI systems that integrate LLMs with knowledge graphs, enabling contextual reasoning, anomaly detection, and intelligent automation at scale.

Key Responsibilities
Knowledge Graph & Ontology Engineering
• Design, build, and maintain enterprise scale Knowledge Graphs from large volumes of unstructured data (text, documents, logs, PDFs, web data).
• Create and evolve ontologies using RDF/OWL, including:
o Entity extraction and linking
o Entity resolution and disambiguation
o Probabilistic pattern matching
o Ontology alignment across heterogeneous data sources
• Implement semantic modeling for complex domains to support reasoning, discovery, and analytics.
Agentic Knowledge Base Enrichment
• Develop agentic AI systems for:
o Automated data gap identification
o Knowledge base enrichment and validation
o Continuous learning and self improving graph pipelines
• Build workflows that combine LLM reasoning with graph traversal and inference.
AI/ML & GenAI Systems
• Design and implement AI/ML pipelines integrating:
o Large Language Models (LLMs)
o Small Language Models (SMLs)
o Reasoning and task specific models
• Build fine tuning pipelines, including:
o Dataset generation and curation
o Training and fine tuning (SFT, PEFT, adapters)
o Evaluation, benchmarking, and deployment
• Apply prompt engineering, RAG, and hybrid LLM + Knowledge Graph (GraphRAG) techniques for contextual intelligence.
Anomaly Detection & Analytics
• Develop anomaly detection systems on top of knowledge graph data at scale.
• Apply graph analytics, embeddings, and ML techniques to detect:
o Semantic inconsistencies
o Behavioral anomalies
o Data quality and relationship drift
Data & ML Engineering
• Build robust data pipelines that ingest, process, enrich, and publish knowledge graph data.
• Implement scalable ML systems using Python for:
o Model development
o Training and tuning
o Inference and deployment
Technical Skills & Expertise
Core AI/ML
• Strong AI/ML engineering background with deep expertise in:
o Python
o Model development, training, tuning, and deployment
• Extensive hands on experience with:
o Large Language Models (LLMs)
o Small Language Models (SMLs)
o Generative AI and reasoning models
o Text generation, summarization, and semantic search workflows
Knowledge Graph Technologies
• Strong experience with:
o Neo4j, GraphDB
o RDF, OWL
o Cypher, SPARQL
• Proven ability to implement:
o Entity linking and resolution
o Semantic search
o Relationship mapping and inference
GenAI Frameworks & Tooling
• Experience building GenAI systems using:
o LangChain, LangGraph
o LlamaIndex
o OpenAI / Azure OpenAI
o Vector databases such as Pinecone and FAISS

MLOps & LLMOps
• Strong experience in MLOps and LLMOps, including:
o MLflow, Azure ML, Datadog
o CI/CD automation for ML systems
o Observability, logging, and tracing
o Model performance monitoring and drift detection
• Experience deploying and operating AI systems in production environments.

Cloud & Scalability
• Experience building and optimizing AI/ML and graph pipelines either of any on:
o Azure
o AWS
o GCP
• Strong understanding of distributed systems, scalability, and performance optimization.
Client is looking for candidates who have experience in building:
• Ontology from large scale data (requires experience in entity resolution, probabilistic pattern matching)
• Agentic knowledge-base enrichment (automated data gap identification, and data enrichment)
• Anomaly detection on top of knowledge graph data at scale
• Fine tuning pipeline (including dataset generation, tuning, evaluation, deployment) for small language models and reasoning models

#J-18808-Ljbffr