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 ...
Postdoctoral Research Associate - Programming Systems for Extreme Heterogeneity
Oak Ridge, TN · On-site
Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness of compiler- or AI-generated code. * Mathematical Foundations : Background in linear algebra ...
Postdoctoral Research Associate - Programming Systems for Extreme Heterogeneity
Oak Ridge, TN · On-site
Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness of compiler- or AI-generated code. * Mathematical Foundations : Background in linear algebra ...
Site Operations Manager
Memphis, TN · On-site
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 ...
Site Operations Manager
Memphis, TN · On-site
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 ...
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 ...
Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness of compiler- or AI‑generated code. * Mathematical Foundations : Background in linear algebra ...
Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness of compiler- or AI‑generated code. * Mathematical Foundations : Background in linear algebra ...
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 ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
Build the reasoning behind regulated decisions - policy- and criteria-grounded outputs, structured ... metrics, automated checks, and human review. Engineer healthcare-grade safety - deployment eval ...
.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 ...
.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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Electromechanical Technician
Jackson, TN · On-site
$28.04/hr
PLCs and automated control systems * Three-phase and single-phase power systems * Motor controls and servo systems * Strong analytical and problem-solving abilities * Critical Reasoning and Decision ...
Electromechanical Technician
Jackson, TN · On-site
$28.04/hr
PLCs and automated control systems * Three-phase and single-phase power systems * Motor controls and servo systems * Strong analytical and problem-solving abilities * Critical Reasoning and Decision ...
Artazn - Electrician
Greeneville, TN · On-site
$30/hr
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 ...
Artazn - Electrician
Greeneville, TN · On-site
$30/hr
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 ...
Artazn - Electrician
Greeneville, TN · On-site
$30/hr
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 ...
Artazn - Electrician
Greeneville, TN · On-site
$30/hr
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 ...
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 ...
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 ...
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 ...
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 ...
Auto Detailer Assistant / Apprentice
Knoxville, TN · On-site
$14.25 - $17.25/hr
Essential Duties: • Wash, dry and clean vehicle exteriors using automated and manual methods • ... Skills/Reasoning Ability/Performance Expectations: Knowledge of cleaning products and detailing ...
Auto Detailer Assistant / Apprentice
Knoxville, TN · On-site
$14.25 - $17.25/hr
Essential Duties: • Wash, dry and clean vehicle exteriors using automated and manual methods • ... Skills/Reasoning Ability/Performance Expectations: Knowledge of cleaning products and detailing ...
Auto Detailer Assistant / Apprentice
Knoxville, TN · On-site
$14.25 - $17.25/hr
Essential Duties: • Wash, dry and clean vehicle exteriors using automated and manual methods • ... Skills/Reasoning Ability/Performance Expectations: Knowledge of cleaning products and detailing ...
Auto Detailer Assistant / Apprentice
Knoxville, TN · On-site
$14.25 - $17.25/hr
Essential Duties: • Wash, dry and clean vehicle exteriors using automated and manual methods • ... Skills/Reasoning Ability/Performance Expectations: Knowledge of cleaning products and detailing ...
Automated Reasoning information
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 the key skills and qualifications needed to thrive as an Automated Reasoning Engineer, and why are they important?
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 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 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:
Full-time
Posted 23 days ago
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.
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.