Research Scientist, AI for Secure Code

You will be developing an agent that leverages powerful AI models, compilers, runtimes, static/dynamic analyzers, and formal verification tools to harden code against a wide range of vulnerabilities across different programming languages and frameworks in collaboration with experts across these areas. As a part of the project, 

• You will be rapid-prototyping initial concepts and designing and running experiments to achieve our goals.
• Your work will be influential both in the research community and also in products that promise to have tremendous impact.

• MSc or PhD/DPhil degree in Computer Science (or relevant majors), with emphasis on ML, or equivalent practical experience.
• Proven knowledge and experience of C/C++ and Python.
• Strong, hands-on experience with LLMs (e.g., (RL) fine-tuning, inference, prompting, agent development).
• Experience designing and developing evaluation benchmarks and implementing scalable evaluation pipelines.
• Proven experience with prominent ML frameworks and tools.
• Hands-on experience with AI-based code generation or editing tools.

• Experience with developer tools (compilers, runtimes, dynamic/static analyzers,  web frameworks, ... ).
• Significant success with project(s) building AI tools for code, either as research publications at top PL/systems/AI venues, as an artifact developed at a company, or as open source artifact(s) 
• Familiarity with well-known code security practices.
• Independent, self-starter attitude 
• Passion for the mission above

The US base salary range for this full-time position is between $166,000 - $244,000 + bonus + equity + benefits. Your recruiter can share more about the specific salary range for your targeted location during the hiring process.