ZipRecruiter

Log In

1

Automated Reasoning Jobs in Pennsylvania (NOW HIRING)

Electric Materials

Automated Plating Utility

North East, PA · On-site

$17 - $23.50/hr

Operate an automated plating line. The production of loading and unloading of plating racks ... REASONING ABILITY: Ability to apply common sense understanding to carry out detailed written and/or ...

Wise Skulls

Sr. SDET

Pittsburgh, PA · On-site

$48.50 - $62.50/hr

The ideal candidate should have hands-on experience in building and maintaining automated test ... Strong analytical, problem-solving, and logical reasoning skills. * Ability to work independently ...

Brandywine Realty Trust

Parking Attendant

Philadelphia, PA · On-site

$15.25 - $18.25/hr

Utilize the software on site that specifically handles the automated parking garage functionality. Reasoning Ability * Apply sound judgment in conducting instructions, which come in either written ...

Bread Financial

Senior Staff Agentic AI Engineer

Chadds Ford, PA · On-site +1

$105K - $142K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

Gentex Corp.

Facilities Manager

Simpson, PA · On-site

Managing the maintenance program for integrated and automated manufacturing systems as well as ... Critical Thinking - Using logic and reasoning to identify root causes and the strengths and ...

Gentex Corp

Facilities Manager

Simpson, PA

Managing the maintenance program for integrated and automated manufacturing systems as well as ... Critical Thinking - Using logic and reasoning to identify root causes and the strengths and ...

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in Pennsylvania

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

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

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

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

What cities in Pennsylvania are hiring for Automated Reasoning jobs?

Cities in Pennsylvania with the most Automated Reasoning job openings:

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

Post Doc - ICARM

Carnegie Mellon University

Pittsburgh, PA • On-site

Full-time

Re-posted 7 days ago

Carnegie Mellon University rating

8.6

Company rating: 8.6 out of 10

Based on 24 frontline employees who took The Breakroom Quiz

67th of 618 rated colleges and universities

Job description

Description
The Institute for Computer-Aided Reasoning in Mathematics is a new US National Science Foundation Mathematical Sciences Research Institute, located on the campus of Carnegie Mellon University in Pittsburgh, Pennsylvania. Its mission is to support the use of new technologies for mathematical research, including interactive theorem proving and formalization, automated reasoning and symbolic AI, and machine learning and neural AI.
The Institute invites applications for a one-year postdoctoral fellowship beginning August 2026, potentially renewable for a second year.
Qualifications
A Ph.D. in mathematics or a closely related discipline is required. We seek strong researchers with demonstrated experience using one or more of the technologies above and an interest in supporting the institute's mission, as described on its website (https://icarm.io/).
Application Instructions
Applicants should submit their cover letter, research statement, CV, and list of references to positions@icarm.io. Applications will be considered until the position is filled.

What Carnegie Mellon University employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply