We work on developing tools and user interfaces that will make developers more productive and will make programming simpler, safer, and more efficient. We have been extending our Code Bubbles development environment with tools for live programming, dynamic understanding, and flow analysis for security checking. We are currently working on tools for automatically repairing semantic errors while debugging and for generating specifications and code using code search.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.