1

Automated Reasoning Jobs in Minnesota (NOW HIRING)

Experience * 2 years' work experience in an automated industrial manufacturing facility is ... Basic industrial math applications, principles and reasoning to solve problems * Basic principles ...

Experience * 2 years' work experience in an automated industrial manufacturing facility is ... Basic industrial math applications, principles and reasoning to solve problems * Basic principles ...

Enterprise AI Architect

Eden Prairie, MN · On-site

$180K - $200K/yr

Establish engineering productivity frameworks leveraging AI coding assistants, automated ... Leverage repository-wide reasoning, large-scale codebase analysis, architecture discovery, code ...

AI Engineer

Minneapolis, MN · On-site

$50K - $112K/yr

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

... automated evaluation frameworks, including LLM-as-judge pipelines, regression testing, and adversarial benchmarking, to assess reasoning, tool-calling reliability, and output groundedness ...

Build and maintain automated end-to-end tests, regularly contributing meaningful enhancements to ... reasoning and impact analysis. * Dig into logs, network traces, and backend data to independently ...

Customer Service Representative

Minneapolis, MN · On-site

$16.75 - $22.75/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

Customer Service Representative

Minneapolis, MN · On-site

$16.75 - $22.75/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Assists customers in making payment to fully automated revenue control equipment * Goes above and ... Reasoning Ability : Ability to apply common sense understanding to carry out detailed but standard ...

next page

Showing results 1-20

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 are popular job titles related to Automated Reasoning jobs in Minnesota?

For Automated Reasoning jobs in Minnesota, the most frequently searched job titles are:

What job categories do people searching Automated Reasoning jobs in Minnesota look for?

The top searched job categories for Automated Reasoning jobs in Minnesota are:

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

Full Stack Engineer with AI and CMS/AEM (W2 Only)

Encore Consulting Services

Minneapolis, MN • On-site

Other

Posted 10 days ago


Job description

Full Stack Engineer with AI and CMS/AEM

Minneapolis, MN

6+ months contract

We are seeking a highly skilled and motivated Full Stack Engineer with experience in building modern, cloud-native applications and a strong interest in Agentic AI and AI-Driven Development Lifecycle (AIDLC). This role involves designing and developing scalable, secure, high-performance web applications and microservices on Microsoft Azure, while leveraging AI-assisted and agent-based development patterns to accelerate delivery, improve quality, and enable intelligent user experiences. Candidates with data engineering or AI platform exposure will have opportunities to contribute to data-driven initiatives, intelligent automation, and performance optimization.

Core Responsibilities

  • System Ownership: Design, scale, and maintain cloud-native microservices and robust system architectures on Microsoft Azure.
  • API Excellence: Architect secure, resilient, high-performance APIs using Java, Spring Boot, Spring Reactive, and WebFlux.
  • UI Leadership: Direct front-end strategies to deliver responsive, accessible, and performant user interfaces using modern JavaScript frameworks.
  • Tech Debt & Quality: Set engineering standards, champion code reviews, and ensure DevSecOps KPIs are exceeded while actively paying down tech debt.
  • Cross-Functional Collaboration: Partner with product managers, UX designers, and enterprise architects to translate complex business needs into technical reality.
  • AIDLC Enablement: Maximize the use of the team’s AI development productivity, refactoring, and test coverage.
  • Intelligent Features: Design and integrate AI-powered workflows, automated reasoning, and intelligent agent-based features into customer-facing applications.
  • Future Proofing: Collaborate with platform teams to evaluate, benchmark, and adopt cutting-edge, emerging AI tools.
  • CI/CD & Infrastructure: Oversee automated deployment pipelines, containerization strategy, and automated testing frameworks.
  • Observability: Drive production reliability, monitoring, and proactive troubleshooting using tools like Dynatrace and Splunk.

Required Qualifications

  • Education: Bachelor’s or Master’s degree in Computer Science, Engineering, or equivalent professional experience.
  • Leadership: Demonstrated experience leading engineering teams, running design reviews, and mentoring junior/mid-level developers.
  • Back-End Mastery: 7+ years of software development experience, including 6+ years specializing in Java/J2EE, Spring Boot, Spring Reactive, and WebFlux.
  • Front-End Expertise: 6+ years of front-end experience utilizing JavaScript, HTML, CSS, and modern frameworks (React, Angular, or Vue.js).
  • API & Integration: 5+ years building high-throughput RESTful and SOAP web services.
  • Stack Depth: Proven experience with Node.js, asynchronous programming, ORM frameworks (Hibernate/JPA), and databases (MySQL, Cassandra).
  • Cloud & DevOps: Hands-on expertise building and deploying infrastructure on Microsoft Azure (AWS is a plus).
  • Experience with any Enterprise CMS platform (AEM preferred)

Nice to Have

  • Experience with data pipelines using Apache Airflow or Azure Data Factory.
  • Healthcare or commercial software development experience.
  • Experience in application modernization or re-engineering.
  • Familiarity with AEM, SEO tools (Google Lighthouse, Search Console), and Elasticsearch.

Soft Skills

  • Strong problem-solving and analytical skills.
  • Excellent communication and collaboration abilities.
  • Ability to work independently in a team-oriented, agile environment.
  • Passion for continuous learning and staying current with emerging technologies.