Haechi: Simple Commitment-based Keyless In-person Verifiable Elections
For decades, verifiable election systems have typically relied on encrypting ballots to maintain voter privacy. Encryption requires keys, and the management of these keys is usually one of the most cumbersome and error-prone components of…
Security Researcher – AI Red Team
Join Microsoft’s AI Red Team where you’ll emulate work alongside security experts to test for security and safety failures. We are looking for a Security Researcher with demonstrated cybersecurity and agents testing experience for our…
Principal Applied Scientist – Ads Fraud Detection
As a Principal Applied Scientist on the Microsoft Ads Fraud Detection team, you will lead the most complex and ambiguous fraud challenges: designing new anomaly detection approaches to surface emerging attacks early, building robust cross-signal…
Principal Applied Science Manager – Foundation Models, Agents & Trust Systems
Microsoft Advertising serves ads across search, native, display, video, commerce, and emerging AI-powered experiences. We are seeking a Principal Applied Science Manager to lead the science organization responsible for risk, editorial quality, moderation, policy enforcement,…
Verifying Rust cryptography in SymCrypt, from standards to code
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.