Design and own end-to-end LLM evaluation frameworks - including automated prompt regression ... reasoning workflows. Develop RAG pipeline evaluation frameworks assessing retrieval precision ...
Design and own end-to-end LLM evaluation frameworks - including automated prompt regression ... reasoning workflows. Develop RAG pipeline evaluation frameworks assessing retrieval precision ...
... group delivers unparalleled data-driven intelligence and frontier AI solutions that help ... including automated prompt regression pipelines, output scoring, semantic benchmarking, and ...
... group delivers unparalleled data-driven intelligence and frontier AI solutions that help ... including automated prompt regression pipelines, output scoring, semantic benchmarking, and ...
Small Business Appplication and Support Representative
O Fallon, MO · On-site
$16 - $20.25/hr
Provide timely customer service to incoming requests via the phone in an automated call delivery ... group of clients. The company is distinguished by its extensive product and service offerings ...
Small Business Appplication and Support Representative
O Fallon, MO · On-site
$16 - $20.25/hr
Provide timely customer service to incoming requests via the phone in an automated call delivery ... group of clients. The company is distinguished by its extensive product and service offerings ...
General Labor - 1st Shift *Will Train*
Moberly, MO · On-site
$19.50/hr
Ability to operate automated production line machinery. EDUCATION High school diploma or GED ... We are part of a powerful group of companies with a network of over 86 distribution centers ...
General Labor - 1st Shift *Will Train*
Moberly, MO · On-site
$19.50/hr
Ability to operate automated production line machinery. EDUCATION High school diploma or GED ... We are part of a powerful group of companies with a network of over 86 distribution centers ...
Assembler
$15 - $18.50/hr
... small group situations to customers, clients, and other employees of the organization * Reasoning ... Today, MiTek delivers software, services, engineered products, and automated solutions that enable ...
Assembler
$15 - $18.50/hr
... small group situations to customers, clients, and other employees of the organization * Reasoning ... Today, MiTek delivers software, services, engineered products, and automated solutions that enable ...
Engineering Manager
California, MO · On-site
$180 - $240/hr
A small, senior team does the work of a group several times its size, and every engineer owns ... reasoning runtime that drives each conversation; the bot‑building UI, domain language, and ...
Engineering Manager
California, MO · On-site
$180 - $240/hr
A small, senior team does the work of a group several times its size, and every engineer owns ... reasoning runtime that drives each conversation; the bot‑building UI, domain language, and ...
Automated Reasoning Group information
What is the difference between Automated Reasoning Group vs Formal Methods Engineer?
| Aspect | Automated Reasoning Group | Formal Methods Engineer |
|---|---|---|
| Required Credentials | Computer Science degree, knowledge of logic, algorithms | Computer Science or Software Engineering degree, expertise in formal verification |
| Work Environment | Research labs, academia, industry R&D teams | Software development teams, safety-critical systems, industry |
| Employer & Industry Usage | Tech companies, research institutions, government agencies | Automotive, aerospace, hardware design, safety-critical industries |
| Common Search & Comparison Intent | Understanding roles in AI and logic research | Applying formal verification in engineering projects |
Both roles focus on logic and verification but differ in scope. The Automated Reasoning Group typically conducts research on algorithms and logic systems, while Formal Methods Engineers apply formal verification techniques directly to software and hardware development to ensure safety and correctness.
What are popular job titles related to Automated Reasoning Group jobs in Missouri?
For Automated Reasoning Group jobs in Missouri, the most frequently searched job titles are:
What job categories do people searching Automated Reasoning Group jobs in Missouri look for?
The top searched job categories for Automated Reasoning Group jobs in Missouri are:
What cities in Missouri are hiring for Automated Reasoning Group jobs?
Cities in Missouri with the most Automated Reasoning Group job openings:
Full-time
Medical, Dental, Vision, Life, Retirement, PTO
Re-posted 3 days ago
Job description
Our Purpose
Mastercard powers economies and empowers people in 200+ countries and territories worldwide. Together with our customers, we're helping build asustainableeconomy where everyone can prosper. We support a wide range of digital payments choices, making transactionssecure, simple, smart and accessible. Our technology and innovation, partnerships and networks combine to deliver a unique set of products and services that help people, businesses and governments realize their greatest potential.
Title and Summary
Manager, AI Engineering (Tester )Mastercard's Business & Market Insights (B&MI) group delivers unparalleled data-driven intelligence and frontier AI solutions that help organizations make smarter, faster, and more impactful decisions. We are currently looking for a AI Tester for the Operational Intelligence Program within B&MI. This is a highly specialized, hands-on AI testing leadership position dedicated to ensuring our Generative AI, LLM, and agentic systems are accurate, safe, reliable, and enterprise-ready. This role will lead AI quality engineering efforts - defining evaluation frameworks, red-teaming strategies, and LLMOps quality gates - while fostering a culture of rigorous, first-class AI testing across the program.Roles and Responsibilities:
Design and own end-to-end LLM evaluation frameworks - including automated prompt regression pipelines, output scoring, semantic benchmarking, and hallucination detection across model versions and prompt variations.
Build comprehensive test suites for agentic AI systems - validating tool selection, inter-agent coordination, task decomposition, goal completion, and failure handling across multi-step reasoning workflows.
Develop RAG pipeline evaluation frameworks assessing retrieval precision, chunk relevance, context faithfulness, answer grounding, and hallucination rates using tools like RAGAS, TruLens, and DeepEval.
Lead structured red-teaming and adversarial testing exercises targeting prompt injection, jailbreaks, data leakage, context poisoning, and model manipulation - building and maintaining an evolving adversarial test library.
Execute fairness, bias, and Responsible AI audits - testing for demographic bias, sentiment skew, representation gaps, and validating explainability mechanisms, citations, and confidence score accuracy.
Design and run inference performance benchmarks - measuring latency, throughput, token efficiency, and degradation under peak load - and enforce LLM quality gates within CI/CD pipelines on Databricks (AWS).
Build production monitoring and drift detection pipelines tracking semantic output drift, embedding shifts, retrieval degradation, and anomalous agent behaviors using observability tooling (Grafana, Datadog, CloudWatch).
Define the AI testing roadmap and quality standards for the program - establishing evaluation metrics, tooling choices, and documentation practices across all Gen AI workstreams.
Partner with Gen AI engineers, ML engineers, and product stakeholders to embed quality from day one - reviewing prompt architectures, agent designs, and system workflows for testability and risk.
Continuously research and adopt frontier evaluation benchmarks (RAGAS, MMLU, TruthfulQA, MT-Bench) and emerging AI testing methodologies to keep quality practices at the cutting edge.
All About You:
Master's/Bachelor's degree in Computer Science, AI/ML, or Software Engineering, with considerable hands-on experience leading AI/ML quality engineering or LLM testing programs in production environments.
Demonstrated expertise testing LLM and Gen AI systems - including prompt testing, output evaluation, hallucination detection, RAG pipeline assessment, and agentic workflow validation in real production settings.
Deep hands-on knowledge of AI evaluation frameworks and tooling: RAGAS, DeepEval, TruLens, LangSmith, PromptFlow, Weights & Biases Evals, or equivalent platforms.
Strong understanding of Gen AI failure modes - hallucination, prompt injection, retrieval grounding failures, context drift, agent loop failures - and proven methods to surface and document them systematically.
Strong Python programming skills with the ability to independently build test automation scripts, evaluation pipelines, and API-level integration tests; SQL proficiency required.
Working knowledge of LLM ecosystems - OpenAI, Anthropic, Hugging Face, LangChain/LangGraph - sufficient to understand model behavior, prompt structure, and agent architecture deeply enough to test them rigorously.
Familiarity with MLOps/LLMOps pipelines (MLflow, Databricks, SageMaker) and experience integrating automated quality gates into CI/CD workflows for AI systems.
Experience with cloud AI infrastructure (AWS, Azure, or GCP) and observability tooling for monitoring live AI system behavior and output quality in production.
Strong analytical, communication, and stakeholder management skills - with the ability to translate complex AI failure patterns into clear risk assessments and remediation recommendations for both technical and business audiences.Mastercard is a merit-based, inclusive, equal opportunity employer that considers applicants without regard to gender, gender identity, sexual orientation, race, ethnicity, disabled or veteran status, or any other characteristic protected by law. We hire the most qualified candidate for the role. In the US or Canada, if you require accommodations or assistance to complete the online application process or during the recruitment process, please contact reasonable_accommodation@mastercard.com and identify the type of accommodation or assistance you are requesting. Do not include any medical or health information in this email. The Reasonable Accommodations team will respond to your email promptly.
Corporate Security Responsibility
All activities involving access to Mastercard assets, information, and networks comes with an inherent risk to the organization and, therefore, it is expected that every person working for, or on behalf of, Mastercard is responsible for information security and must:
Abide by Mastercard's security policies and practices;
Ensure the confidentiality and integrity of the information being accessed;
Report any suspected information security violation or breach, and
Complete all periodic mandatory security trainings in accordance with Mastercard's guidelines.
Pay Ranges
O'Fallon, Missouri: $140,000 - $231,000 USD