Research Scientist
San Francisco, CA · On-site
The Research Scientist role involves driving foundational and applied research in automated reasoning and AI-driven code analysis, producing impactful work that contributes to the company's mission ...
Research Scientist
San Francisco, CA · On-site
The Research Scientist role involves driving foundational and applied research in automated reasoning and AI-driven code analysis, producing impactful work that contributes to the company's mission ...
AI 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 ...
AI 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 ...
As part of that mission, IAM Access Analyzer uses automated reasoning to reason and recommend access control for customers. This enables customers to set the right access controls confidently across ...
As part of that mission, IAM Access Analyzer uses automated reasoning to reason and recommend access control for customers. This enables customers to set the right access controls confidently across ...
AI Research Engineer
San Francisco, CA · On-site
As an AI Research Engineer, you will conduct original research in automated reasoning and AI-driven code analysis, inventing novel solutions and collaborating with engineering teams to integrate ...
AI Research Engineer
San Francisco, CA · On-site
As an AI Research Engineer, you will conduct original research in automated reasoning and AI-driven code analysis, inventing novel solutions and collaborating with engineering teams to integrate ...
AI Research Engineer
San Francisco, CA · On-site
As an AI Research Engineer, you will conduct original research in automated reasoning and AI-driven code analysis, inventing novel solutions and collaborating with engineering teams to integrate ...
AI Research Engineer
San Francisco, CA · On-site
As an AI Research Engineer, you will conduct original research in automated reasoning and AI-driven code analysis, inventing novel solutions and collaborating with engineering teams to integrate ...
As part of that mission, IAM Access Analyzer uses automated reasoning to reason and recommend access control for customers. This enables customers to set the right access controls confidently across ...
As part of that mission, IAM Access Analyzer uses automated reasoning to reason and recommend access control for customers. This enables customers to set the right access controls confidently across ...
Your systems power automated reasoning about permissions, resource configurations, and access patterns, helping customers identify overly permissive access and unused credentials before they become ...
Your systems power automated reasoning about permissions, resource configurations, and access patterns, helping customers identify overly permissive access and unused credentials before they become ...
Your systems power automated reasoning about permissions, resource configurations, and access patterns, helping customers identify overly permissive access and unused credentials before they become ...
Your systems power automated reasoning about permissions, resource configurations, and access patterns, helping customers identify overly permissive access and unused credentials before they become ...
Software Development Engineer, AWS Identity
Santa Clara, CA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
As part of that mission, IAM Access Analyzer uses automated reasoning to reason and recommend access control for customers. This enables customers to set the right access controls confidently across ...
Software Development Engineer, AWS Identity
Santa Clara, CA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
As part of that mission, IAM Access Analyzer uses automated reasoning to reason and recommend access control for customers. This enables customers to set the right access controls confidently across ...
Principal / Staff Applied Research Scientist
Menlo Park, CA · On-site
$236K - $339K/yr
Lead research projects that apply formal methods, program analysis, automated reasoning, and AI-driven techniques (including code generation and modeling) to real problems in our cloud data platform.
Principal / Staff Applied Research Scientist
Menlo Park, CA · On-site
$236K - $339K/yr
Lead research projects that apply formal methods, program analysis, automated reasoning, and AI-driven techniques (including code generation and modeling) to real problems in our cloud data platform.
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.
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.
Software Development Manager, AWS Identity, Access Analyzer
Santa Clara, CA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Your systems power automated reasoning about permissions, resource configurations, and access patterns, helping customers identify overly permissive access and unused credentials before they become ...
Software Development Manager, AWS Identity, Access Analyzer
Santa Clara, CA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Your systems power automated reasoning about permissions, resource configurations, and access patterns, helping customers identify overly permissive access and unused credentials before they become ...
Senior Applied Scientist, AWS Quick
$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 ...
Senior Applied Scientist, AWS Quick
$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 ...
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 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 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 ...
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 ...
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 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 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 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 Applied Scientist, AWS Quick
Santa Clara, CA · On-site
$107K - $146K/yr
Medical
Dental
Vision
Life
Retirement
PTO
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 ...
Senior Applied Scientist, AWS Quick
Santa Clara, CA · On-site
$107K - $146K/yr
Medical
Dental
Vision
Life
Retirement
PTO
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 ...
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 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 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 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 ...
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:
Full-time
Re-posted 8 days ago
Job description
Job Summary:
Cogent Security is an Applied AI Lab focused on building advanced AI agents for cybersecurity. The Research Scientist role involves driving foundational and applied research in automated reasoning and AI-driven code analysis, producing impactful work that contributes to the company's mission of enhancing security workflows.
Responsibilities:
• 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
Qualifications:
Required:
• 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
Preferred:
• 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
Company:
Cogent supports government and private sector customers responsible for protecting some of the world’s most critical assets. Founded in 2010, the company is headquartered in Alexandria, USA, with a team of 51-200 employees. The company is currently Growth Stage.
Cogent Security is an Applied AI Lab focused on building advanced AI agents for cybersecurity. The Research Scientist role involves driving foundational and applied research in automated reasoning and AI-driven code analysis, producing impactful work that contributes to the company's mission of enhancing security workflows.
Responsibilities:
• 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
Qualifications:
Required:
• 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
Preferred:
• 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
Company:
Cogent supports government and private sector customers responsible for protecting some of the world’s most critical assets. Founded in 2010, the company is headquartered in Alexandria, USA, with a team of 51-200 employees. The company is currently Growth Stage.