Research Scientist — AI for Secure Coding & Reasoning

Cogent Security; San Francisco (CA); On-site; USD 100,000 - 300,000; Full time

Job summary

Cogent Security is seeking a Research Scientist in San Francisco to conduct high-impact research in automated reasoning and AI-driven security. The ideal candidate will have extensive experience in static/dynamic analysis and a strong publication record in top-tier conferences. The position offers a standard base salary ranging from $100,000 to $300,000 annually, depending on experience and other factors. Join a diverse team aiming to make the world's infrastructure safer through innovative AI techniques.

Qualifications

• Deep hands-on experience in automated reasoning.
• Proven experience in applying AI/ML techniques to code problems.
• Demonstrated impact through publications or significant artifacts.

Responsibilities

• Drive original research in automated reasoning and AI security.
• Develop research artifacts that impact Cogent and the research community.
• Collaborate with engineering to translate research into AI solutions.

Skills

Automated reasoning

Code analysis

AI/ML techniques

Static/dynamic analysis

Formal verification

Education

MSc or PhD in Computer Science or related field

Tools

Terraform

Pulumi

CDK

Job description

Cogent Security is seeking a Research Scientist in San Francisco to conduct high-impact research in automated reasoning and AI-driven security. The ideal candidate will have extensive experience in static/dynamic analysis and a strong publication record in top-tier conferences. The position offers a standard base salary ranging from $100,000 to $300,000 annually, depending on experience and other factors. Join a diverse team aiming to make the world's infrastructure safer through innovative AI techniques.