Applied Scientist role focused on developing novel multi-modal generative AI agentic architectures and models for advertising creatives, integrating and deploying ML projects, curating datasets, and performing analysis. The role involves research, publication, and collaboration with cross-functional teams.

This role focuses on building next-generation software verification tools by combining AI, cloud computing, and formal methods. The scientist will explore generative AI techniques for formalizing requirements, generating tests, and repairing proofs, and will work on agentic systems to ensure AI agents operate within safety boundaries.