1

Automated Reasoning Jobs in Ohio (NOW HIRING)

Perform manual and automated testing, tracking and communicating progress and results to ... Strong analytical, problem-solving, and logical reasoning abilities * Ability to manage multiple ...

Manual and Automated Assembly: Perform manual assembly, welding, tapping, and related production ... Reasoning / Judgment: * Apply sound judgment and common sense to carry out written or verbal ...

Manual and Automated Assembly: Perform manual assembly, welding, tapping, and related production ... Reasoning / Judgment: * Apply sound judgment and common sense to carry out written or verbal ...

Manual and Automated Assembly: Perform manual assembly, welding, tapping, and related production ... Reasoning / Judgment: * Apply sound judgment and common sense to carry out written or verbal ...

Production Operator

Columbus, OH · On-site

$16.25 - $19.50/hr

We go beyond traditional methods, combining perception, reasoning, and control to deliver field ... The Production Operator is responsible for operating automated robotic welding cells to produce ...

Senior Staff Agentic AI Engineer

Columbus, OH · On-site +1

$102K - $139K/yr

... reasoning quality, hallucination rates, tool latency), and supporting oncall through agentassisted triage, automated rollback/rollforward, and humangated controls. - (15%) * Establish enterprise ...

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 Ohio?

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

What cities in Ohio are hiring for Automated Reasoning jobs?

Cities in Ohio with the most Automated Reasoning job openings:

Infographic showing various Automated Reasoning job openings in Ohio as of August 2026, with employment types broken down into 67% Full Time, and 33% Temporary. Highlights an 100% In-person job distribution.

Sr Principal Lead Software Engineer (full-stack)

Northrop Grumman Corporation

Cincinnati, OH

$120K - $166K/yr

Full-time

Medical, Life, PTO

Posted 5 days ago


Northrop Grumman rating

8.2

Company rating: 8.2 out of 10

Based on 363 frontline employees who took The Breakroom Quiz

89th of 540 rated manufacturers


Job description

RELOCATION ASSISTANCE: Relocation assistance may be availableCLEARANCE REQUIRED FOR START: YesCLEARANCE TYPE: Top SecretTRAVEL: Yes, 10% of the TimeDescriptionAt Northrop Grumman, our employees have incredible opportunities to work on revolutionary systems that impact people's lives around the world today, and for generations to come. Our pioneering and inventive spirit has enabled us to be at the forefront of many technological advancements in our nation's history - from the first flight across the Atlantic Ocean, to stealth bombers, to landing on the moon. We look for people who have bold new ideas, courage and a pioneering spirit to join forces to invent the future, and have fun along the way. Our culture thrives on intellectual curiosity, cognitive diversity and bringing your whole self to work - and we have an insatiable drive to do what others think is impossible. Our employees are not only part of history, they're making history.

Come join NorthropGrumman-Xetron, part of the MissionSystems sector, where we develop new capabilities for our military and intelligence customers around the globe. At Xetron we design systems that only science fiction writers could imagine, because they're that cool!

Xetron is an operating unit of the NorthropGrumman Corporation, located in Cincinnati, Ohio where employees have the chance to know everyone on site while working on cuttingedge technologies and highimpact products. You'll tackle the next generation of challenging problems, share expertise, and learn from worldclass teammates. Remember when you were excited about the challenge of the problem, the importance of the solution, and the fun you had with your team?You'll experience that at Xetron! See why we receive comments on our YouTube Videos like "This company is insanely advanced" and "Wow. This is mind blowing."

The NeptunePhoenix program provides sustainment for our existing system portfolio while driving development, production, and operational support for the next generation of technical collection capabilities.The team designs and integrates ground and platformbased collection systems built on modelbased systems engineering (MBSE), open architectures, and open standards

This position is for a Lead Cyber Software Engineer position on Neptune Phoenix to lead a team of software engineers implementing cloud-based, full-stack software applicationsthat incorporate advanced algorithms, decision support processing, and data fusion. The Lead Software Engineer serves as the authority for software architecture and design, and owns responsibility to create, evolve, and maintain the architecture of the software to meet operational needs across the full stack (front-end, back-end, data, and cloud infrastructure).

Thecloud-native solutionwill include:

  • Decision support system processing and orchestration
  • Algorithm development and integration (e.g., optimization, analytics, and automated reasoning)
  • Producing knowledge fromdisparate data sourcesand sensors via scalable data services and APIs
  • Implementation of user-facing components and services that expose these capabilities to operators and analytic users

The position requires strongfull-stack software engineeringskills and solid understanding of modern cloud architectures. Desired knowledge includes computer networking and optimization, modern software development environments, cloud integration, and virtualized/containerized computing environments such as Docker or VMware. Experience developing solutions using SysML/UML is a plus.


What You'll Get to Do

  • Lead a team buildingcloud-based, full-stack mission applicationsthat directly impact national security
  • Own thearchitecture and designof advanced decision support systems and analytic services
  • Build and integratemicroservices, APIs, and data pipelinesthat turn disparate data into actionable insight
  • Work with modern tech (cloud services, containers, CI/CD) in areal-world, operational environment

Essential function of the role is leading a team conducting:

  • Full-stack Software Engineering, to include design, development, integration, testing, deployment, and operations of cloud-based mission applications and services
  • Design and implementation ofcloud-hosted microservices, APIs, and data pipelinesto support decision support and analytic workflows
  • Evaluation of commercial solutions as part of make/buy analyses, including cloud services and COTS/GOTS components
  • Development of custom algorithms and analytic services for decision making and situational awareness
  • Integration of custom analytic tools and decision support capabilities into an overall system and enterprise architecture
  • Development ofdata products and knowledge servicesfor automated and manual consumers of generated data (dashboards, UIs, external systems, and APIs)

Basic Qualifications for Sr. Principal Cyber Software Engineer Level:

  • B.S. degree in Computer Science, Computer Engineering or related field and 8 years of programming experience; or M.S. degree in Computer Science, Computer Engineering or related field and 6 years of programming experience or Ph.D and 4 years of relevant work experience.
  • Demonstrated experience developing software solutions using Python, C, or C++
  • Demonstrated experience integrating commercial software products as part of a custom software solution
  • Proven experience leading teams of 2-8 software engineers
  • Proven experience with the full lifecycle of software engineering including the operations and maintenance of fielded systems
  • Active Top-Secret clearance is required
  • US Citizenship is required

Preferred Qualifications:

  • Active SCI security clearance
  • Advanced degree in Computer Science, Computer Engineering, or related field
  • Experience developing software solutions for US government classified environments
  • Hands-on experience developing full-stack software solutions hosted in cloud environments such as AWS or Azure (e.g., microservices, serverless, containerized workloads, managed data services)
  • Experience integrating COTS/GOTS software tools into a deliverable software product
  • Experience with Agile methodology
  • Experience with software development utilizing UML or SysML within Cameo

This position offers the option of a 9/80 work schedule. The 9/80 schedule allows employees who work a nine-hour day Monday through Thursday to take every other Friday off.

Primary Level Salary Range: $142,200.00 - $213,200.00The above salary range represents a general guideline; however, Northrop Grumman considers a number of factors when determining base salary offers such as the scope and responsibilities of the position and the candidate's experience, education, skills and current market conditions.Depending on the position, employees may be eligible for overtime, shift differential, and a discretionary bonus in addition to base pay. Annual bonuses are designed to reward individual contributions as well as allow employees to share in company results. Employees in Vice President or Director positions may be eligible for Long Term Incentives. In addition, Northrop Grumman provides a variety of benefits including health insurance coverage, life and disability insurance, savings plan, Company paid holidays and paid time off (PTO) for vacation and/or personal business.The application period for the job is estimated to be 20 days from the job posting date. However, this timeline may be shortened or extended depending on business needs and the availability of qualified candidates.Northrop Grumman is an Equal Opportunity Employer, making decisions without regard to race, color, religion, creed, sex, sexual orientation, gender identity, marital status, national origin, age, veteran status, disability, or any other protected class. For our complete EEO and pay transparency statement, please visit http://www.northropgrumman.com/EEO. U.S. Citizenship is required for all positions with a government clearance and certain other restricted positions.

What Northrop Grumman employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Northrop Grumman logo

About Northrop Grumman

Sourced by ZipRecruiter

At Northrop Grumman, our employees have incredible opportunities to work on revolutionary systems that impact people's lives around the world today, and for generations to come. Our pioneering and inventive spirit has enabled us to be at the forefront of many technological advancements in our nation's history - from the first flight across the Atlantic Ocean, to stealth bombers, to landing on the moon. We look for people who have bold new ideas, courage and a pioneering spirit to join forces to invent the future, and have fun along the way. Our culture thrives on intellectual curiosity, cognitive diversity and bringing your whole self to work - and we have an insatiable drive to do what others think is impossible.

Industry

Space research administration

Company size

10,000+ Employees

Headquarters location

Falls Church, VA, US

Year founded

1939