Applied AI Research Engineer (Code Reasoning & Security)

Cogent; New York (NY); On-site; USD 100,000 - 300,000; Full time

Job summary

Cogent in New York is seeking an AI Research Engineer to engage in advanced research at the intersection of AI and automated reasoning. The ideal candidate should possess a degree in Computer Science and have hands-on experience in areas such as static/dynamic analysis and formal verification. This role offers a unique opportunity to work on innovative AI techniques, contributing to the core AI platform and publishing research findings. The position has a competitive salary range of $100,000 - $300,000 annually.

Qualifications

• Hands-on experience with static/dynamic analysis, formal verification, or automated testing.
• Track record of developing or applying AI/ML techniques.
• Demonstrated research output, including papers at recognized conferences.

Responsibilities

• Conduct original research at the intersection of AI and automated reasoning.
• Invent and apply novel AI techniques to challenges in code reasoning.
• Design and execute automated testing and fuzzing strategies.

Skills

Automated reasoning

AI/ML techniques

Independence

Education

Degree in Computer Science or closely related field (BS, MS, or PhD)

Tools

Cloud Infrastructure as Code tools (Terraform, Pulumi, CDK)

Job description

Cogent in New York is seeking an AI Research Engineer to engage in advanced research at the intersection of AI and automated reasoning. The ideal candidate should possess a degree in Computer Science and have hands-on experience in areas such as static/dynamic analysis and formal verification. This role offers a unique opportunity to work on innovative AI techniques, contributing to the core AI platform and publishing research findings. The position has a competitive salary range of $100,000 - $300,000 annually.