IT Systems Engineer
Bastrop, TX · 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 ...
IT Systems Engineer
Bastrop, TX · 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 ...
Senior Java Backend & AI/ML Integration - Wealth Management (Move Money Platforms)
Austin, TX · On-site
$119K - $155K/yr
... automated reasoning. • Familiarity with Vector Databases (such as pgvector, Pinecone, or Milvus) to support Retrieval-Augmented Generation (RAG) within financial applications. • Practical ...
Senior Java Backend & AI/ML Integration - Wealth Management (Move Money Platforms)
Austin, TX · On-site
$119K - $155K/yr
... automated reasoning. • Familiarity with Vector Databases (such as pgvector, Pinecone, or Milvus) to support Retrieval-Augmented Generation (RAG) within financial applications. • Practical ...
IT - Senior Technology Architect | Cloud Platform | Google Machine Learning
Irving, TX · On-site
$60.25 - $76.75/hr
... automated reasoning, and workflow supervision Minimum years of experience >10 years Certifications Needed :No Top 3 responsibilities you would expect the Subcon to shoulder and execute Strong ...
IT - Senior Technology Architect | Cloud Platform | Google Machine Learning
Irving, TX · On-site
$60.25 - $76.75/hr
... automated reasoning, and workflow supervision Minimum years of experience >10 years Certifications Needed :No Top 3 responsibilities you would expect the Subcon to shoulder and execute Strong ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$134K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$134K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic ...
IT - Senior Technology Architect | Artificial Intelligence | Artificial Intelligence - ALL
Irving, TX · On-site
$62.50 - $83.50/hr
... automated reasoning, and workflow supervision Minimum years of experience >10 years Certifications Needed :No Top 3 responsibilities you would expect the Subcon to shoulder and execute Strong ...
IT - Senior Technology Architect | Artificial Intelligence | Artificial Intelligence - ALL
Irving, TX · On-site
$62.50 - $83.50/hr
... automated reasoning, and workflow supervision Minimum years of experience >10 years Certifications Needed :No Top 3 responsibilities you would expect the Subcon to shoulder and execute Strong ...
Senior Technology Architect | Artificial Intelligence | Artificial Intelligence - ALL
Irving, TX · On-site
$62.50 - $83.50/hr
... automated reasoning, and workflow supervision Minimum years of experience >10 years Certifications Needed :NA Top 3 responsibilities you would expect the Subcon to shoulder and execute Strong ...
Senior Technology Architect | Artificial Intelligence | Artificial Intelligence - ALL
Irving, TX · On-site
$62.50 - $83.50/hr
... automated reasoning, and workflow supervision Minimum years of experience >10 years Certifications Needed :NA Top 3 responsibilities you would expect the Subcon to shoulder and execute Strong ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$184K - $324K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$184K - $324K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$184K - $324K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$184K - $324K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic ...
Ad Operations Analyst
Fort Worth, TX · On-site
$41/hr
Provide human-reviewed evaluations to support the training and improvement of automated advertising and marketing systems. * Document decisions and supporting reasoning clearly when required.
New
Quick apply
Ad Operations Analyst
Fort Worth, TX · On-site
$41/hr
Provide human-reviewed evaluations to support the training and improvement of automated advertising and marketing systems. * Document decisions and supporting reasoning clearly when required.
New
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
Integrate performance testing into the CI/CD pipeline to track agent reasoning time and cost-efficiency. * Hallucination Detection: Develop automated checks to identify and report AI hallucinations ...
AI Software Engineer Expert - Remote
Houston, TX · Remote
$100 - $200/hr
... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...
Quick apply
AI Software Engineer Expert - Remote
Houston, TX · Remote
$100 - $200/hr
... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...
AI Software Engineer Expert - Remote
Dallas, TX · Remote
$100 - $200/hr
... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...
Quick apply
AI Software Engineer Expert - Remote
Dallas, TX · Remote
$100 - $200/hr
... reasoning, and structured problem-solving skills. * Excellent written communication and technical editing abilities. * Experience with AI coding tools or automated documentation tools is a plus but ...
Principal Software Engineer (Python)
Dallas, TX · On-site +1
$133K - $179K/yr
Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...
Principal Software Engineer (Python)
Dallas, TX · On-site +1
$133K - $179K/yr
Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...
Principal Software Engineer (Python)
Austin, TX · On-site +1
$133K - $179K/yr
Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...
Principal Software Engineer (Python)
Austin, TX · On-site +1
$133K - $179K/yr
Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...
Build integrations with internal geospatial platforms to power automated lookups and analysis ... issues by reasoning across Amazon's geospatial data. Day-to-day, you'll design autonomous ...
Build integrations with internal geospatial platforms to power automated lookups and analysis ... issues by reasoning across Amazon's geospatial data. Day-to-day, you'll design autonomous ...
... reasoning, formal methods, fuzzing, static analysis, and automated debugging.Partner closely with AI compiler development, CUDA software, ML framework, runtime, product, and AI software teams to ...
... reasoning, formal methods, fuzzing, static analysis, and automated debugging.Partner closely with AI compiler development, CUDA software, ML framework, runtime, product, and AI software teams to ...
... reasoning, formal methods, fuzzing, static analysis, and automated debugging. Partner closely with AI compiler development, CUDA software, ML framework, runtime, product, and AI software teams to ...
... reasoning, formal methods, fuzzing, static analysis, and automated debugging. Partner closely with AI compiler development, CUDA software, ML framework, runtime, product, and AI software teams to ...
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 Texas?
For Automated Reasoning jobs in Texas, the most frequently searched job titles are:
What job categories do people searching Automated Reasoning jobs in Texas look for?
The top searched job categories for Automated Reasoning jobs in Texas are:
What cities in Texas are hiring for Automated Reasoning jobs?
Cities in Texas with the most Automated Reasoning job openings:
IT Systems Engineer
Bastrop, TX • On-site
SpaceXAI
• Aerospace Product and Parts Manufacturing • 1 - 5K employees1,001 - 5,000 employees
Full-time
Re-posted 3 days ago
SpaceX rating
8.7
Based on 152 frontline employees who took The Breakroom Quiz
Job description
Job Summary:
xAI is a company focused on creating AI systems that enhance human understanding of the universe. They are seeking an experienced IT Systems Engineer to manage and optimize their Windows and Linux infrastructure, ensuring reliability and performance while collaborating with cross-functional teams.
Responsibilities:
• Building, managing, and supporting complex application stacks on Windows and Linux Servers.
• Providing Windows and Linux troubleshooting and technical support.
• Deploy, configure and support VMware technologies, including vCenter, ESX and Horizon.
• Use Puppet Enterprise to automate and manage configurations.
• Working with other engineering teams and third-party vendors to implement scalable solutions.
• Ensuring compliance by collaborating with internal audit and compliance teams.
• Developing and maintaining standard operating procedures.
• Participating in a 24/7 on-call support rotation.
• Managing and monitoring all installed Windows and Linux systems and infrastructure.
• Installing, configuring, testing, and maintaining operating systems and system management tools.
• Proactively ensuring high levels of system availability and reliability.
• Monitoring and optimizing application performance, identifying bottlenecks, and collaborating with developers to implement solutions.
• Writing and maintaining custom scripts to improve system efficiency and automation.
Qualifications:
Required:
• 3 to 5 years of experience in Systems Engineering for Corporate Infrastructure.
• Managing large-scale Windows and Linux server environments.
• Virtualization at scale.
• Configuration Management.
• Managing scalable storage solutions, preferably NetApp.
• Developing and maintaining performance metrics for systems.
• Strong understanding of Puppet Enterprise and Puppet Open Source.
• Strong understanding of basic networking concepts.
• Proficient with using Puppet to automate and manage configurations.
• Experience with NetApp storage arrays.
• Ability to translate business needs into technical solutions.
• Outstanding analytical and problem-solving skills.
• Strong written and verbal communication skills.
• Experience writing technical design documents and maintaining documentation.
• Familiarity with working in a source-controlled environment.
• Proficiency in scripting languages such as Bash, Python, or Perl.
• Experience with VMware services, including VMware data center virtualization and VMware Horizon.
Preferred:
• Familiarity with DevOps practices and CI/CD tools.
• Knowledge of orchestration tools.
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 Early Stage.
xAI is a company focused on creating AI systems that enhance human understanding of the universe. They are seeking an experienced IT Systems Engineer to manage and optimize their Windows and Linux infrastructure, ensuring reliability and performance while collaborating with cross-functional teams.
Responsibilities:
• Building, managing, and supporting complex application stacks on Windows and Linux Servers.
• Providing Windows and Linux troubleshooting and technical support.
• Deploy, configure and support VMware technologies, including vCenter, ESX and Horizon.
• Use Puppet Enterprise to automate and manage configurations.
• Working with other engineering teams and third-party vendors to implement scalable solutions.
• Ensuring compliance by collaborating with internal audit and compliance teams.
• Developing and maintaining standard operating procedures.
• Participating in a 24/7 on-call support rotation.
• Managing and monitoring all installed Windows and Linux systems and infrastructure.
• Installing, configuring, testing, and maintaining operating systems and system management tools.
• Proactively ensuring high levels of system availability and reliability.
• Monitoring and optimizing application performance, identifying bottlenecks, and collaborating with developers to implement solutions.
• Writing and maintaining custom scripts to improve system efficiency and automation.
Qualifications:
Required:
• 3 to 5 years of experience in Systems Engineering for Corporate Infrastructure.
• Managing large-scale Windows and Linux server environments.
• Virtualization at scale.
• Configuration Management.
• Managing scalable storage solutions, preferably NetApp.
• Developing and maintaining performance metrics for systems.
• Strong understanding of Puppet Enterprise and Puppet Open Source.
• Strong understanding of basic networking concepts.
• Proficient with using Puppet to automate and manage configurations.
• Experience with NetApp storage arrays.
• Ability to translate business needs into technical solutions.
• Outstanding analytical and problem-solving skills.
• Strong written and verbal communication skills.
• Experience writing technical design documents and maintaining documentation.
• Familiarity with working in a source-controlled environment.
• Proficiency in scripting languages such as Bash, Python, or Perl.
• Experience with VMware services, including VMware data center virtualization and VMware Horizon.
Preferred:
• Familiarity with DevOps practices and CI/CD tools.
• Knowledge of orchestration tools.
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 Early Stage.
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