ZipRecruiter

Log In

1

Automated Reasoning Jobs in California (NOW HIRING)

Elicit

ML Research Resident

Oakland, CA · On-site +1

$15K/mo

... automated reasoning. Logistics * 3-month contract role * Compensation: $12-15k/month depending on experience * Location: In-person (Oakland) or remote (US) * Potential of full-time offer for ...

SpaceXAI

Sr. IT Data Engineer

Palo Alto, CA · On-site

$124K - $169K/yr

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 ...

Amazon

Applied Scientist, AWS Quick

Santa Clara, CA

Define and implement new automated reasoning features that employ scalable and efficient approaches to solve complex problems using neural learning and symbolic/formal reasoning * Apply software ...

SpaceXAI

IT Systems Engineer

Palo Alto, CA · 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 ...

Amazon

Applied Scientist, AWS Quick

Santa Clara, CA

Define and implement new automated reasoning features that employ scalable and efficient approaches to solve complex problems using neural learning and symbolic/formal reasoning * Apply software ...

SpaceXAI

Senior IAM Engineer

Palo Alto, CA · On-site

$134K - $184K/yr

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 ...

Glover Labs

AI Software Engineer

San Francisco, CA · On-site

$130 - $160/hr

The best candidates will be excited to leverage AI as a first-class building block - using agents, LLMs, and automated reasoning where others would default to hand-rolled logic - while staying ...

previous pagenext page

Showing results 21-40

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in California

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

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

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

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

What cities in California are hiring for Automated Reasoning jobs?

Cities in California with the most Automated Reasoning job openings:

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

Member of Technical Staff - Recommendation Systems

SpaceXAI

Palo Alto, CA • On-site

Full-time

Re-posted 8 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 dedicated to creating AI systems that enhance human understanding of the universe. They are seeking exceptional Applied engineers to work on a high-priority project focused on recommendation systems and ranking algorithms, impacting approximately 600 million monthly users.
Responsibilities:
• Designing and architecting recommendation algorithms across various product surfaces
• Leverage all of xAI’s infra and AI stacks to dramatically enhance the user experience
• Write data pipelines and training jobs that continuously learn from product data.
• Iterate and improve the algorithm by gathering user feedback in real time through experimentation
• Ensuring scalability and efficiency of machine learning systems
Qualifications:
Required:
• Knowledge of data infrastructure like Kafka, Clickhouse, and Spark
• Experienced in implementing recommender systems and/or deep learning applications at industrial scale
• Skilled in one or more DL software frameworks such as JAX or PyTorch
Preferred:
• Exceptional candidates may be experienced in writing CUDA kernels
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

View All SpaceX Jobs

Apply