We’re building software to automatically fix technical debt. We do this by combining expressive static analysis tooling (we’ve built a developer-friendly query language for code) with machine learning to automatically migrate code to new patterns and platforms. We’re deployed thousands of successful changes for initial customers and have raised a $7M seed round from top investors (led by Founders Fund). We’ve solving challenges at the intersection of machine learning and programming languages using Rust, TypeScript, and LLMs. We’re hiring for both smart generalists and PL/ML experts who are interested in collaborating on problems like automatically inserting new types into codebases and automated unit test regression-fixes.
Remote
Remote Conditions
Outstanding candidates who have proven success in a remote model
We’re building software to automatically fix technical debt. We do this by combining expressive static analysis tooling (we’ve built a developer-friendly query language for code) with machine learning to automatically migrate code to new patterns and platforms. We’re deployed thousands of successful changes for initial customers and have raised a $7M seed round from top investors (led by Founders Fund). We’ve solving challenges at the intersection of machine learning and programming languages using Rust, TypeScript, and LLMs. We’re hiring for both smart generalists and PL/ML experts who are interested in collaborating on problems like automatically inserting new types into codebases and automated unit test regression-fixes.