💼 About This Role

You'll drive foundational and applied research in automated reasoning and AI-driven code analysis at Cogent's applied AI lab. Your work will produce scientifically rigorous, real-world impactful results. You'll collaborate with top researchers and engineers to advance the state of the art in AI for cybersecurity.

🎯 What You'll Do

• Drive original research in automated reasoning and code analysis
• Invent and apply novel AI techniques for code reasoning and generation
• Develop research artifacts with real-world impact
• Publish findings at top-tier conferences

📋 Requirements

• Extensive Experience in automated reasoning (static/dynamic analysis, formal verification, fuzzing)
• AI Expertise in applying AI/ML to code reasoning or generation
• MSc or PhD in Computer Science or related field
• Proven Track Record of publications or significant artifacts

✨ Nice to Have

• Cybersecurity experience
• Cloud Infrastructure as Code (Terraform, Pulumi, CDK)

🎁 Benefits & Perks

• 💰 Variable Compensation
• 📈 Equity included in compensation
• 🏥 Medical, Dental, Vision benefits
• 🏖️ Flexible PTO
• 🚀 Work with top AI minds

📨 Hiring Process

Estimated timeline: 2-4 weeks · AI estimate

1. 1Recruiter Call· 30 min
2. 2Technical Interview· 60 min
3. 3Research Presentation· 45 min