Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Proof-based general-purpose computing with Magnetar
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security.
Research Intern – Efficient AI Software Systems
Researchers in AI are building systems that can reason, plan and act on behalf of the people who use them, from writing software to automating complex, multistep tasks. As these systems become more capable and…
Researcher Intern – CoreAI
The Code|AI team leads applied research and data science for GitHub Copilot and VS Code, working on the future of AI for developers. Our team focuses on post-training code specific models like code completion, code…
debug-gym: A Text-Based Environment for Interactive Debugging
A Text-Based Environment for Interactive Debugging In most existing approaches (shown in black), an agent rewrites its code conditioned on error messages obtained from executing its code. debug-gym equips the agent with additional tools such…
T A L E S
the Text Adventure Learning Environment Suite Reasoning is an essential skill to enable Large Language Models (LLMs) to interact with the world. As tasks become more complex, they demand increasingly sophisticated and diverse reasoning capabilities…
Principal Researcher – AI
STCA Research team is seeking passionate researchers to join our team advancing the frontier of LLMs, Agentic AI, AI-native Innovations, RL and Model tuning, and Agentic Software Engineering. We are building intelligent systems that reason,…