Research Scientist

Perform applied research in automated reasoning and AI-driven code/security analysis.

• •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.