"automated reasoning" Jobs

1898 open tech roles matching “automated reasoning”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Python, AI/ML, Kubernetes. Every listing is re-checked daily and closed roles are removed.

Showing 20 of 1898 results

TRM Labs

Join TRM Labs as a Senior AI Engineer to design and build AI-powered applications that enhance internal operations and drive measurable outcomes.

TRM Labs India Published 4 months ago
Flexible on stack
Cogent Security

Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.

Cogent Security San Francisco, CA $100k–$300k/yr Published 1 month ago
Flexible on stack
TRM Labs

Join TRM Labs as a Senior AI Engineer to design and build AI-powered applications that enhance internal operations and drive business impact.

TRM Labs South America Published 4 months ago
Flexible on stack
Applied Intuition

Join Applied Intuition as a Software Engineer to develop real-time onboard software for autonomous trucks.

Applied Intuition Tokyo Published 2 months ago
TRM Labs

Join TRM Labs as a Senior AI Agent Engineer to build intelligent agents that enhance investigative decision-making in a fully remote environment.

TRM Labs United States $200k–$275k/yr Published 5 months ago
Flexible on stack
Dexterity

Join Dexterity as a Senior/Staff AI Algorithms Engineer to apply machine learning and optimization to robotics challenges.

Dexterity Redwood City Published 1 year ago
Reddit

Join Reddit as a Senior, Business Risk and AI Automation to lead the development of an AI-driven internal audit and risk function.

Reddit Remote - Ontario, Canada Published 1 month ago
Block

Join Block as a Senior ML/AI Modeler to enhance risk automation using generative AI in a fully remote role.

Block Bay Area, CA, United States of America $194.5k–$343.1k/yr Published 3 weeks ago
Flexible on stack
Reddit

Join Reddit as a Senior Business Risk & AI Automation expert to innovate risk management through AI and automation.

Reddit Remote - British Columbia, Canada Published 1 month ago
Applied Intuition

Join Applied Intuition as a Perception Software Engineer to develop safety-critical perception systems for L4 autonomous trucks.

Applied Intuition Sunnyvale Published 1 month ago
Flexible on stack
TRM Labs

Join TRM Labs as a Senior Software Engineer to enhance AI-powered intelligence solutions for crime investigation.

TRM Labs North America $200k–$220k/yr Published 4 days ago
Flexible on stack 70% coding
TRM Labs

Join TRM Labs as a Senior Agent Engineer to build AI-powered solutions for crime investigation in a fully remote environment.

TRM Labs United States $200k–$275k/yr Published 7 months ago
Flexible on stack
Applied Intuition

Design and implement safety-critical planning systems for autonomous vehicles in a dynamic team at Applied Intuition.

Applied Intuition Tokyo Published 2 months ago
Flexible on stack
Applied Intuition

Join Applied Intuition as a Senior Software Engineer to develop advanced simulation solutions for Tactical AI agents in defense applications.

Applied Intuition Fort Walton Beach, FL Published 1 month ago
Flexible on stack 70% coding
Applied Intuition

Join Applied Intuition as a Senior Software Engineer to develop perception systems for L4 autonomous trucks.

Applied Intuition Tokyo Published 2 months ago
TRM Labs

Join TRM Labs as a Senior Software Engineer to enhance AI-powered intelligence solutions for crime investigation.

TRM Labs Brazil Published 4 days ago
Flexible on stack
Applied Intuition

Join Applied Intuition as a Senior Software Engineer to lead the development of autonomy solutions for defense applications.

Applied Intuition London Published 3 weeks ago
Flexible on stack
Reddit

Join Reddit as a Senior Security Engineer to secure AI-powered products and build reusable security primitives.

Reddit Remote - United States $190.8k–$267.1k/yr Published 2 months ago
Flexible on stack
Applied Intuition

Join Applied Intuition as a Senior Software Engineer to develop a multi-environment compute platform for simulation orchestration.

Applied Intuition Sunnyvale Published 2 months ago
Flexible on stack