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.

This role is for a Partner Sales Manager focused on Google Cloud's Security suite, which includes AI/ML components. The manager will develop strategies and drive business growth with strategic partners like Managed Security Service Providers, Telcos, GSIs, and Cloud Partners. Responsibilities include owning partner growth, developing business plans, maintaining sales/technical/marketing benefits for partners, building connections with Sales and Partner Solutions, and providing strategic input on business opportunities. Minimum qualifications include a Bachelor's degree or equivalent, 10 years of experience in management consulting, business development, alliances, or channel sales, and experience in a sales role working with partners. Preferred qualifications include experience with Security Operations toolsets (SIEM, SOAR, Threat Intelligence, EDR), understanding of the Google Cloud Partner Ecosystem, experience engaging with technical stakeholders and executives, and experience leading complex operational and strategic initiatives.

Google is seeking an Engineering Manager for Agent Foundations, Front-End in Munich, Germany. This role involves technical leadership, people management, and setting team priorities to support broader organizational goals. The manager will also be responsible for developing mid-term technical roadmaps, guiding system designs, and reviewing code. The role requires 8 years of software development experience, including full-stack development and technical leadership, with a preference for advanced degrees and experience in complex organizations.

This role drives Google's Pixel device sales programs through major business partners in Germany, focusing on carrier partnerships for training, advocacy, and incentives. It involves executing new product introductions, ensuring brand standards, and advocating for partners internally to improve the Pixel and ecosystem experience. The role also involves developing a Telesales channel strategy and managing third-party vendors to meet SLAs.

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.