Principal Software Engineer
Core
Design and deliver agentic tools and infrastructure for large-scale code transformations, including migration, modernization, and specification-driven development.
Role type
Principal Software Engineer (Agentic Systems & Infrastructure)
Builds
Systems enabling expert teams to drive transformations across hundreds of millions of lines of code
Domain
Software Engineering, Compiler Technology, Program Analysis, AI Agents
Deliverable
production ML models
Required skills
C, C++, C#, Rust, LLM-based agents, compilers, program analysis, memory safety, large-scale testing, formal methods, large codebases
Preferred skills
Human-AI interaction, developer experience design, research-to-production transitions, publications, open-source contributions
Technologies
Rust, C/C++, TLA+, model checking, F*, Lean, Verus, Dafny
Responsibilities
Set technical direction from architecture to production adoption; define validation strategies for agent-produced changes; lead cross-organizational efforts with partner teams; mentor senior engineers; represent the team externally through talks and papers
Seniority
Principal, strategy & mentorship
