Google DeepMind is hiring for a research-heavy role spanning formal verification, programming languages, and AI-assisted proof systems. You will formalize correctness and security specs in Lean, encode the semantics of languages like C/C++/Rust, and run experiments on AI-driven auto-formalization.
The position emphasizes rigorous research, collaboration, and impact at scale. We value a PhD, strong Lean and AI-agent experience, and a track record in high-level research with potential
#J-18808-Ljbffr
Lean Theorem Prover Engineer: Verified Code Gen employer: Google
As a Senior Manager in Ads Solutions Engineering at gTech, you will thrive in a dynamic and innovative environment that prioritises collaboration and professional growth. The company fosters a culture of continuous learning and development, offering ample opportunities to lead transformative projects while working with cutting-edge technologies. Located in a vibrant tech hub, gTech provides a unique chance to engage with top-tier clients and contribute to impactful solutions that drive success.
