1

Automated Reasoning Jobs in Alabama (NOW HIRING)

... automated tests for continuous integration. * Participate in producing reliable estimates for all ... Demonstrates strong analytical, numerical, and reasoning abilities, applying a curious, creative ...

AI Engineer

Birmingham, AL · On-site

$50K - $112K/yr

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

Reliability Technician

Eastaboga, AL · On-site

$93K - $117K/yr

We are state of the art, automated, and visionary. We are sustainable and eco-friendly. We are ... Strong analytical, mathematical, and reasoning skills * Broad, practical knowledge of mechanical ...

Controls Technician

Athens, AL

$29 - $38/hr

... Reasoning Ability: * Ability to read and understand electrical, hydraulic, pneumatic and basic ... automated equipment, hydraulic systems, pneumatic systems, and various other hazards

Senior Automation Engineer

Bessemer, AL · On-site

$92K - $121K/yr

Experience with electrical theory, robotics, controls components, and automated equipment ... Strong reasoning, analytical, and problem-solving abilities * Experience in training and developing ...

Senior Automation Engineer

Bessemer, AL · On-site

$93K - $122K/yr

Experience with electrical theory, robotics, controls components, and automated equipment ... Strong reasoning, analytical, and problem-solving abilities * Experience in training and developing ...

Controls Technician

Athens, AL · On-site

$29 - $38/hr

... Reasoning Ability: * Ability to read and understand electrical, hydraulic, pneumatic and basic ... automated equipment, hydraulic systems, pneumatic systems, and various other hazards

MAINTENANCE

Gadsden, AL · On-site

$20 - $22/hr

Installs, programs, or repairs automated machinery and equipment such as robots or programmable ... REASONING ABILITY * Ability to solve practical problems and deal with a variety of concrete ...

From simple hand coating to fully automated powder coating systems, Gema offers solutions that meet ... Reasoning Ability : Ability to solve practical problems and deal with a variety of concrete ...

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

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

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

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

What cities in Alabama are hiring for Automated Reasoning jobs?

Cities in Alabama with the most Automated Reasoning job openings:

ETL Software Engineer I

HC3

Birmingham, AL • On-site

Full-time

Posted 12 days ago


Job description

Description:

Purpose


The ETL Software Engineer I is essential to establish and maintain the foundational C# data infrastructure that powers HC3’s core service offerings. The primary measure of success for this role is the creation of highly reliable, scalable ingestion and normalization systems. These systems result in seamless data integration for our clients, ensuring our organization maintains a competitive edge through unwavering data quality and processing efficiency.


Responsibilities


The responsibilities for this position include the following:

  • Collaborate with the software development team to design, develop, and maintain product features and existing applications.
  • Troubleshoot defects and performance issues in existing products.
  • Actively participate in code reviews to ensure code quality and maintain familiarity with all critical systems.
  • Respond promptly to incident tickets and provide support.
  • Communicate effectively within the team.
  • Assist in the development of comprehensive code documentation and automated tests for continuous integration.
  • Participate in producing reliable estimates for all development tasks.
Requirements:

Competencies and Qualities


Qualified candidates must have the following competencies and qualities:

  • Technical Acumen and Continuous Learning: Maintains and improves technical knowledge through self-driven education and quickly adapts to new technologies and processes.
  • Resourceful Problem Solving: Demonstrates strong analytical, numerical, and reasoning abilities, applying a curious, creative, and resourceful approach to problem resolution.
  • Proactive Ownership: Acts as a self-starter and self-directed contributor, taking ownership of tasks while consistently following established policies and procedures.
  • Effective Collaboration: Capable of effectively communicating and collaborating with coworkers, focusing both on individual contributions and collective team success.
  • Adaptability and Execution: Able to multi-task and work effectively in a fast-paced, deadline-driven environment where change is constant.
  • Curiosity and Initiative: Interested in exploring new methods to solve problems and shows initiative in identifying and collaborating on process improvements.
  • Analytical Strength: Possesses strong analytical and reasoning skills for effective decision-making.
  • Team Focus: Understands the importance of team efforts and successfully aligns individual work with common organizational goals.
  • Coachability: Openly willing to receive mentoring and constructive feedback from senior engineers to accelerate professional growth.
  • Self-Motivation: A self-learner who maintains high personal standards and professional drive.

Education, Experience, and Certifications


Required

  • Experience developing APIs using C#, the .Net Framework
  • Bachelor's degree in a relevant field or equivalent experience
  • Familiarity with modern server operating systems (i.e., Windows)
  • Understanding of relational databases and SQL
  • Familiarity with object-oriented design patterns and other modern software engineering principles
  • Understanding of common Git source control workflows

Preferred

  • 2 years' experience developing applications
  • Knowledge of modern web technologies
  • Experience with Agile/Scrum development and/or Jira
  • Experience with the Amazon Web Services (AWS) cloud platform or Microsoft Azure
  • Experience working in a modern CICD pipeline (e.g., TeamCity, Bamboo, Code Pipeline, Jenkins)

Supervisory Responsibility

This role has no direct supervisory responsibilities.


Work Environment

This role is based in Irondale, Alabama, and is expected to work regularly at the HC3 office.


Travel

This position requires little to no travel. This role will occasionally travel to an HC3 office for team meetings.


Physical Demand

This role will require using a computer for long periods of time while either sitting or standing.


Position Type and Expected Hours

This is a full-time position for five, eight-hour days (at least 40 hours) per week.