Principal Software Engineer at Microsoft building agentic operating systems