ZipRecruiter

Log In

1

Automated Reasoning Jobs in California (NOW HIRING)

SpaceXAI

Application Security Engineer

Palo Alto, CA · On-site

$69.25 - $92.50/hr

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

Sr. IT Systems Engineer

Palo Alto, CA · On-site

$123K - $168K/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 ...

SpaceXAI

Senior IT Systems Engineer

Palo Alto, CA · On-site

$123K - $168K/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 · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

Buck Institute

AI Data Scientist-Furman lab

Novato, CA · On-site

$60K - $75K/yr

  • Medical

  • Retirement

  • PTO

Building workflows using large language models, retrieval-augmented generation, vector databases, tool-calling agents, and automated reasoning systems * Designing AI agents capable of interacting ...

Condor Software

Senior AI/ML Engineer

San Francisco, CA · On-site

$123K - $169K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Build and maintain the infrastructure that supports agentic workflows-tool schemas, retrieval systems, orchestration, and automated reasoning-on a serverless AWS architecture. * Build, train, and ...

Staffingine LLC

AI Architect

Torrance, CA · On-site

$65.75 - $86.75/hr

... automated pipelines * Agentic Capabilities Reasoning adaptation tool calling MCP based solutions ReAct agents Supervisor multiagent coordination * Performance Optimization Distributed compute ...

Zeta Global

Director, Application Security

San Francisco, CA · On-site

$69.25 - $92.50/hr

... automated security reasoning into CI/CD and AI/ML pipelines. • Lead AI-specific adversarial testing (prompt injection, model abuse, data leakage). • Embed security agents directly into IDEs, PRs ...

CoreLogic

Principal Software Engineer (Python)

Irvine, CA · On-site

$144K - $194K/yr

  • Medical

  • Life

  • Retirement

  • PTO

Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...

Cotality

Principal Software Engineer (Python)

Irvine, CA · On-site

$144K - $194K/yr

  • Medical

  • Life

  • Retirement

  • PTO

Implement Advanced Reasoning: Design and deploy Hybrid Graph/Vector search architectures (GraphRAG ... Collaborate with the Knowledge Engineering team to build automated workflows for Ontology ...

previous page

Showing results 41-60

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 - Compute Infrastructure

SpaceXAI

Palo Alto, CA • On-site

Full-time

Re-posted 5 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 focused on creating AI systems that understand the universe and support humanity's quest for knowledge. The role involves owning the GPU supercomputer and platform layer, working on low-level optimizations and large-scale orchestration to enhance training and inference performance.
Responsibilities:
• Design, build, and optimize massive GPU clusters for extreme-scale training and inference workloads
• Develop and tune low-level CUDA kernels (GeMM, Attention, etc.), using CUTLASS, Tensor Cores, and Nsight for maximum performance
• Work on Linux kernel internals, scheduling, memory management, and resource isolation at cluster scale
• Build custom container orchestration, virtualization layers (KVM, Firecracker, etc.), and distributed systems that go beyond standard Kubernetes
• Profile, debug, and eliminate bottlenecks across GPU memory hierarchy, networking fabric, filesystems, and multi-GPU operations
• Create and maintain infrastructure-as-code, automation, and tools that keep the entire supercomputer reliable and efficient
• Collaborate closely with AI research teams to deliver production-grade performance and scalability
Qualifications:
Required:
• Strong communication skills
• Hands-on work ethic
• Strong prioritization skills
• Design, build, and optimize massive GPU clusters for extreme-scale training and inference workloads
• Develop and tune low-level CUDA kernels (GeMM, Attention, etc.), using CUTLASS, Tensor Cores, and Nsight for maximum performance
• Work on Linux kernel internals, scheduling, memory management, and resource isolation at cluster scale
• Build custom container orchestration, virtualization layers (KVM, Firecracker, etc.), and distributed systems that go beyond standard Kubernetes
• Profile, debug, and eliminate bottlenecks across GPU memory hierarchy, networking fabric, filesystems, and multi-GPU operations
• Create and maintain infrastructure-as-code, automation, and tools that keep the entire supercomputer reliable and efficient
• Collaborate closely with AI research teams to deliver production-grade performance and scalability
Preferred:
• Deep low-level systems programming (C/C++ or Rust)
• Experience building and operating high performance exabyte scale storage systems
• Strong experience with large-scale GPU clusters or distributed compute infrastructure at production scale
• Hands-on work with GPU kernel optimization (CUTLASS, custom kernels, Nsight profiling)
• Experience with Linux kernel internals, scheduling, virtualization, or large-scale orchestration
• Track record of building or running high-performance infrastructure for AI workloads (training or inference platforms)
• Ability to reason from first principles and optimize for both memory-bound and compute-bound scenarios
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