ZipRecruiter

Log In

1

Automated Reasoning Jobs in California (NOW HIRING)

Cogent Security

Research Scientist

San Francisco, CA · On-site

$100K - $300K/yr

If you have deep expertise in automated reasoning, a strong publication or artifact track record, and a passion for making the world's infrastructure safer, we want to hear from you. What You'll Do ...

Cogent Security

AI Research Engineer

San Francisco, CA · On-site

$100K - $300K/yr

As an AI Research Engineer, you will work at the frontier of automated reasoning and AI-driven code analysis - inventing novel solutions, prototyping fast, and pivoting when first ideas don't pan out.

Amazon

Senior Applied Scientist, AWS Quick

Santa Clara, CA

$107K - $146K/yr

You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers. Why AWS AWS is the world's most comprehensive and broadly ...

Amazon

Senior Applied Scientist, AWS Quick

Santa Clara, CA

$107K - $146K/yr

You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers. Why AWS AWS is the world's most comprehensive and broadly ...

Amazon

Senior Applied Scientist, AWS Quick

Santa Clara, CA · On-site

$107K - $146K/yr

You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers. Why AWS? AWS is the world's most comprehensive and broadly ...

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

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

next page

Showing results 1-20

All JobsAutomated Reasoning JobsAutomated Reasoning Jobs in California

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

Research Scientist

Cogent Security

San Francisco, CA • On-site

$100K - $300K/yr

Full-time

Posted 27 days ago

Job description

About Cogent Security
Cogent is an Applied AI Lab building the next generation of AI agents for cybersecurity. AI has fundamentally changed how attacks happen, allowing malicious actors to operate at unprecedented speed and scale. Cogent's "AI Taskforce" assesses petabytes of enterprise data to remediate these issues before critical breaches occur.
To stay at the cutting edge, we blend frontier research with real-world execution. Alongside our core product work, Cogent Research serves as our applied AI lab, providing the research horsepower needed to make truly agentic security workflows a reality.
Since coming out of stealth, Cogent has experienced rapid growth. We partner with Fortune 500 companies to secure some of the most complex production environments in the world.
We're backed by Greylock and we've built a team with the best minds in applied AI. Our team is comprised of people from:
  • Top universities like Stanford, Berkeley, Penn, Duke, Carnegie Mellon, Waterloo
  • Unicorn, high-growth companies like Scale AI, Databricks, Stripe, Tesla, Coinbase
  • World class cybersecurity experts from Wiz, Abnormal AI, Zscaler
  • Preeminent research labs like Deepmind and SAIL

About the Role
Cogent Research is the applied AI lab at the heart of Cogent's mission. As a Research Scientist, you will drive foundational and applied research at the frontier of automated reasoning and AI-driven code analysis - producing work that is both scientifically rigorous and directly impactful in the real world.
We are looking for someone who thrives in ambiguity, invents novel solutions when existing ones fall short, and has the flexibility to change course when initial ideas don't pan out. If you have deep expertise in automated reasoning, a strong publication or artifact track record, and a passion for making the world's infrastructure safer, we want to hear from you.
What You'll Do & Achieve
  • Drive original, high-impact research in automated reasoning, code analysis, and AI-driven security, from early hypothesis through publication-quality results
  • Invent and apply novel AI techniques to challenges in code reasoning and code generation, advancing the state of the art
  • Develop significant research artifacts, tools, or systems that have real-world impact inside Cogent and in the broader research community
  • Design and execute automated testing and fuzzing strategies to validate systems under development
  • Publish findings at top-tier conferences and peer-reviewed journals
  • Collaborate with engineering and product teams to translate research into Cogent's core AI platform
  • Stay at the cutting edge of developments in ML, program analysis, and formal methods - and help shape Cogent's research direction
What You'll Bring
  • Extensive Experience in Automated Reasoning: Deep hands-on expertise in static/dynamic analysis, formal verification, and/or automated testing and fuzzing
  • AI Expertise: Proven experience developing or applying AI/ML techniques to code reasoning or code generation problems
  • Education: An MSc or PhD/DPhil in Computer Science or a closely related technical field
  • Proven Track Record: Demonstrated impact through publications at top-tier conferences, significant artifacts developed in a professional setting, or widely-adopted open-source contributions
  • Independence: A highly self-directed, proactive, and self-starting attitude - you identify problems, propose solutions, and drive them to completion
  • Mission Alignment: A genuine passion for Cogent's mission and a belief that this work matters

Bonus Points For:
  • Experience in cybersecurity - knowledge of vulnerability classes, exploit techniques, or secure-by-design systems
  • Familiarity with Cloud Infrastructure as Code (IaC) - tools like Terraform, Pulumi, CDK, or equivalent

For California Based Applicants
The standard base salary range for this position is $100,000 - $300,000 annually. Compensation offered will be determined by factors such as location, job level, job-related knowledge, skills, and experience. Certain roles may be eligible for variable compensation, equity, and benefits.
We are committed to building an inclusive and diverse company. We do not discriminate based on gender, ethnicity, sexual orientation, religion, civil or family status, age, disability, or race.

Apply