Research Scientist
Cogent SecurityVulnerability Management company
On-siteMid
Bain Capital Ventures
Greylock Partners
Definition Capital
Lockstep
OpenAI Group PBC
Abnormal Security Corp.
Data & AI
About the role
TL;DR
Conduct applied research in automated reasoning, code analysis, and AI-driven security.
- •Conduct applied research in automated reasoning, code analysis, and AI-driven security to produce publication-quality results and impactful artifacts.
- •Key Responsibilities Drive original research from hypothesis to publication.
- •Invent AI techniques for code reasoning and generation.
- •Develop research artifacts, tools, and systems with real-world impact.
- •Design automated testing and fuzzing strategies.
- •Collaborate with engineering to integrate research into product.
- •Requirements MSc or PhD in Computer Science or related field.
- •Deep expertise in automated reasoning, program analysis, or formal methods.
- •Experience applying AI/ML to code reasoning or generation.
- •Proven publication or artifact track record.
- •Highly self-directed and mission-aligned.
Required skills
NLPLLMsPython
Nice-to-have skills
TensorFlowPyTorchscikit-learnKerasOpenAI APIAnthropic APIGemini APILangChainHugging Face
Domain expertise
deeptechaicybersecurity
Tech stack
PythonJavaScriptJavaC++TensorFlowPyTorchscikit-learnKerasOpenAI APIAnthropic APIGemini APILangChainHugging FaceNLPLLMs
