Currently tracking 489 active AI roles, up 170% versus the prior 4 weeks. Primary focus: Agent · Engineering. Salary range $98k–$505k (avg $233k).
| Title | Stage | AI score |
|---|---|---|
| Software Engineer, AI Powered Rust Software Engineer role focused on building and leveraging AI, specifically agentic workflows and multi-agent systems, to automate the large-scale migration of C/C++ code to Rust. The role involves designing evaluation strategies for AI-generated code, optimizing the output, and collaborating with AI and programming language teams. | Agent | 7 |
| Senior Software Engineer, Formal Verification Engineer Senior Software Engineer focused on formal verification of security-critical software and systems, particularly in Rust and x64 ASM, with applications to cryptography and systems-level code. The role involves evolving verification frameworks (Lean), applying them to critical libraries, and contributing to formal verification tooling. | — | 0 |
| Engineering Manager, Agent Foundations, Front-End |
| — |
| 0 |
| Software Engineer II, Vulnerability Management Software Engineer II, Vulnerability Management at Google. This role focuses on building and maintaining the technical foundation for Google's products, specifically in the area of vulnerability management. Responsibilities include contributing to documentation, triaging and debugging system issues, writing and reviewing code, and designing software engineering efforts for automated vulnerability management. The role requires experience in software development, data structures, and algorithms, with preferred qualifications in security, vulnerability assessment, and Google infrastructure. | — | 0 |