1

Automated Reasoning Jobs in Tennessee (NOW HIRING)

SpaceXAI develops AI software and computational infrastructure designed for scientific discovery, automated reasoning, and data processing. It is a sub-organization of SpaceX. Founded in 2023, the ...

SpaceXAI develops AI software and computational infrastructure designed for scientific discovery, automated reasoning, and data processing. It is a sub-organization of SpaceX. Founded in 2023, the ...

.NET Solution Architect

Nashville, TN · On-site

$60.75 - $80.25/hr

Usage of automated build and/or unit testing and integration systems * Excellent communication, presentation, influencing, and reasoning skills to earn support of business leaders, technology leaders ...

CX Systems Administrator

Nashville, TN · On-site +1

$65K - $80K/yr

Build and maintain complex automated workflows, nested triggers, and custom fields across all ... Strong logical reasoning skills with experience mapping out complex, conditional processes (If/Then ...

CX Systems Administrator

Nashville, TN · On-site +1

$65K - $80K/yr

Build and maintain complex automated workflows, nested triggers, and custom fields across all ... Strong logical reasoning skills with experience mapping out complex, conditional processes (If/Then ...

CNC Machinist

Cordova, TN · On-site

$17.75 - $24.25/hr

Calculate and set controls to regulate machining factors and automated controls. * Prepare and load ... Reasoning Skills: Ability to apply common sense understanding to carry out instructions furnished ...

Malibu Electronics Machine Operator

Lenoir City, TN · On-site

$14.75 - $17.50/hr

... semi-automated equipment. Essential Duties and Responsibilities * Understands and demonstrates ... Reasoning Ability: Must possess, maintain, and utilize as required understanding of general problem ...

Accountable for troubleshooting and repair of programmable, automated machinery and related systems ... REASONING ABILITY: The ability to solve practical problems and deal with a variety of variables in ...

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

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

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

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

What cities in Tennessee are hiring for Automated Reasoning jobs?

Cities in Tennessee with the most Automated Reasoning job openings:

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

Data Analyst - Physical Infrastructure

SpaceXAI

Memphis, TN • On-site

Full-time

Re-posted 17 days ago


SpaceX rating

8.7

Company rating: 8.7 out of 10

Based on 148 frontline employees who took The Breakroom Quiz

17th of 72 rated aerospace companies


Job description

Job Summary:
xAI is a company focused on creating AI systems that enhance humanity's understanding of the universe. They are seeking a Data Analyst to join their Infrastructure team, responsible for analyzing power and cooling performance data and delivering insights to optimize physical infrastructure for AI supercomputing.
Responsibilities:
• Collect, clean, integrate, and analyze high-volume power, cooling, and energy usage data from datacenter facilities and power plants
• Build and refine forecasting models for electricity, water, and other utility consumption to support budgeting, planning, and procurement
• Design, develop, and maintain interactive business intelligence dashboards and reports (using tools such as Seeq, Tableau, Power BI, Looker, or similar)
• Identify trends, anomalies, inefficiencies, and optimization opportunities in power distribution and cooling systems
• Partner with mechanical, electrical, and facilities engineering teams to translate analytical findings into engineering and operational improvements
• Support infrastructure expansion planning through scenario analysis, capacity modeling, and cost projections
• Automate data collection pipelines and reporting processes to enable real-time visibility and decision making
• Present clear, actionable insights and recommendations to cross-functional teams and leadership
Qualifications:
Required:
• 4+ years of professional experience in data analysis, business intelligence, or analytics engineering
• Strong SQL skills and proficiency in Python (pandas, scikit-learn, or similar) or R for data analysis and modeling
• Hands-on experience building dashboards and visualizations with Tableau, Power BI, Looker, or equivalent
• Solid foundation in statistics, time-series analysis, and forecasting techniques
• Experience working with large datasets and building scalable reporting solutions
• Excellent written and verbal communication skills
Preferred:
• Background in energy, utilities, datacenters, critical infrastructure, or industrial facilities
• Familiarity with SCADA systems, building management systems (BMS), or IoT sensor data
• Experience with cloud data platforms (Snowflake, BigQuery, AWS/GCP/Azure data services)
• Knowledge of power systems, HVAC/cooling efficiency metrics (PUE, WUE, etc.), or energy modeling
• Advanced degree in Data Science, Statistics, Engineering, Operations Research, or related quantitative field
Company:
SpaceXAI develops AI software and computational infrastructure designed for scientific discovery, automated reasoning, and data processing. It is a sub-organization of SpaceX. Founded in 2023, the company is headquartered in Palo Alto, USA, with a team of 1001-5000 employees. The company is currently Late Stage.

What SpaceX employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


SpaceX logo

About SpaceX

Sourced by ZipRecruiter

Industry

Aerospace product and parts manufacturing, data services, guided missile and space vehicle manufacturing and satellite telecommunications

Company size

1,001 - 5,000 Employees

Headquarters location

Hawthorne, CA, US