AI Fellowship (Member of Technical Staff)

Early-career research-engineer building AI+formal-methods systems for agentic security and auto-remediation.

• •Early-career research-engineering fellowship focused on building agentic security and auto-remediation systems combining AI with formal methods to ship production systems.
• •Key Responsibilities Define and pursue research at the intersection of AI and formal methods.
• •Prototype and deploy systems running against real customer workloads.
• •Partner with applied AI, agent, and platform engineers to translate research into production.
• •Work with design partners and security leaders to ground research in real workflows.
• •Build evaluation harnesses and benchmarks for verification and policy compliance.
• •Requirements Research experience in formal methods, program analysis, programming languages, or runtime verification.
• •Strong publication record or comparable open-source/artifact contributions.
• •Recently completed or soon-to-be-completed PhD in CS or related field.
• •Strong engineering ability and fluency in a major programming language.