5-7 years of experience in AI and automated reasoning techniques
Demonstrated ability in static/dynamic analysis and formal verification
Proven track record of research publications in recognized conferences or journals
Degree in Computer Science or related technical field (BS, MS, PhD)
Highly self-directed with a proactive mindset
Strong alignment with Cogent's mission to enhance infrastructure safety
Responsibilities
Conduct original AI research focusing on automated code reasoning
Develop and implement innovative AI techniques for code analysis
Design automated testing and fuzzing strategies for system validation
Adapt and iterate solutions in the face of ambiguity
Publish research findings in top-tier conferences and journals
Collaborate with engineering teams to integrate research into products
Stay updated on advancements in ML and program analysis
Benefits
Opportunity to work at the frontier of AI and code reasoning
Flexible work environment with autonomy in role
Possibility to contribute to impactful infrastructure safety initiatives
Engagement with the scientific community through publications
Collaboration with engineering and product teams to drive technology forward
Full Job Description
About the Role
Cogent Research is the applied AI lab at the heart of Cogent's mission. 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.
This is not a role for those who need a playbook. We are looking for someone who thrives in ambiguity, drives work proactively and independently, and is deeply aligned with Cogent's mission to make the world's infrastructure safer.
What You'll Do & Achieve
Conduct original research at the intersection of AI and automated code reasoning, advancing the state of the art in areas such as static/dynamic analysis, formal verification, and automated testing
Invent and apply novel AI techniques to challenges in code reasoning and code generation, from early hypothesis through working prototype
Design and execute automated testing and fuzzing strategies to validate and stress-test systems under development
Navigate ambiguity with a proactive mindset - adapt quickly when initial approaches don't pan out and iterate toward robust solutions
Publish research findings at top-tier conferences and peer-reviewed journals, contributing to the broader scientific community
Collaborate with engineering and product teams to translate research breakthroughs into Cogent's core AI platform
Stay on top of cutting-edge developments in ML and program analysis, and propose incorporating them into Cogent's systems where appropriate
What You'll Bring
Experience in Automated Reasoning: Hands-on experience with static/dynamic analysis, formal verification, and/or automated testing and fuzzing
AI Expertise: A track record of developing or applying AI/ML techniques to code reasoning or code generation problems
Research Publication: Demonstrated research output - papers accepted at recognized conferences or peer-reviewed journals
Education: Degree in Computer Science or a closely related technical field (BS, MS, or PhD)
Independence: A highly self-directed, proactive, and self-starting attitude - you identify problems, propose solutions, and execute without being told
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.
