Quantum Computing
Highlights
Get started with quantum development
Your path to powerful, scalable quantum computing starts here. about Get started with quantum development
With new Microsoft breakthroughs, general purpose quantum computing moves closer to reality
At Microsoft’s Ignite conference, the company showcased the progress it has made toward developing both a topological qubit and the ecosystem of hardware and software that will eventually allow a wide range of developers to take advantage of quantum computing’s power. about With new Microsoft breakthroughs, general purpose quantum computing moves closer to reality
Empowering the quantum revolution
Your path to powerful, scalable quantum computing starts here. about Empowering the quantum revolution
331 results found
Career Opportunity
Quantum Research Software Development Engineer
Do you want to be part of the next revolution in computing? Join our team to develop benchmarks, software libraries, algorithms and optimization techniques that impact the development of quantum programs and further our understanding of quantum computers. You ideally bring some familiarity with quantum physics, mathematics, and programming. You will have the opportunity to grow and learn about programming quantum computers as part of our multi-disciplinary and diverse team. Job number: 728111
Career Opportunity
Quantum Research Intern – Station Q
Researchers in quantum computing tackle complex problems on the path to realizing a working and practicable quantum computer. Important research directions include designing and optimizing all aspects of the quantum computer, from topological qubit designs, to cryogenic control and readout circuitry. Supporting this research and development effort requires motivated individuals to contribute to new breakthroughs, ideas, and results in a dynamic research environment with the aim of predicting quantum behavior crucial for the performance of…
Career Opportunity
Quantum Post Doc Researcher
Do you want to be part of the next revolution in computing? Join our team to develop new quantum algorithms, software libraries, and methods that further our understanding of quantum computers. You will have the opportunity to grow and learn about programming quantum computers as part of our multi-disciplinary and diverse team. We are looking for post-doctoral researchers who define their own research directions and develop ideas that will benefit quantum algorithms research and the…
Career Opportunity
Quantum Solution Scientist
Do you want to be part of the next revolution in computing? Join our team to develop new algorithms, software libraries, and services that solve real-world problems and further our understanding of quantum computers. You ideally bring familiarity in machine learning, computational chemistry, quantum physics, mathematics, or quantum algorithms. You will have the opportunity to grow and learn about programming quantum computers as part of our multi-disciplinary and diverse team. Job number: 728125
Career Opportunity
Quantum Research Software Development Engineer
Do you want to be part of the next revolution in computing? Join our team to develop benchmarks, software libraries, algorithms and optimization techniques that impact the development of quantum programs and further our understanding of quantum computers. You ideally bring some familiarity with quantum physics, mathematics, and programming. You will have the opportunity to grow and learn about programming quantum computers as part of our multi-disciplinary and diverse team. Job number: 728111
Microsoft Research Blog
News from the front in the post-quantum crypto wars with Dr. Craig Costello
Episode 94, October 16, 2019 – Dr. Craig Costello is in the business of safeguarding your secrets. And he uses math to do it. A researcher in the Security and Cryptography group at Microsoft Research, Dr. Costello is among a formidable group of code makers (aka cryptographers) who make it their life’s work to protect the internet against adversarial code breakers (aka cryptanalysts), both those that exist today in our classical computing world, and those that will exist in…
Microsoft Research Blog
The inner magic behind the Z3 theorem prover
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated by two emerging use cases: program verification and dynamic symbolic execution. Research projects around program verification and dynamic symbolic execution, such as the verification-oriented programming language Dafny, automatic test generation, and fuzz testing, had created…
Career Opportunity
Quantum Solution Scientist
Be part of the next revolution in computing! Join Microsoft’s Quantum Systems Team and work on applications of new computing hardware including quantum computers. Our mission is to develop computing systems to solve currently unsolvable problems. We are looking for an exceptional applied researcher and software developer to be part of a team that focuses on solving the most challenging problems across industries. Job number: 722081
Video
Sequential Estimation of Quantiles with Applications to A/B-testing and Best-arm Identification
Consider the problem of sequentially estimating quantiles of any distribution over a complete, fully-ordered set, based on a stream of i.i.d. observations. We propose new, theoretically sound and practically tight confidence sequences for quantiles, that is, sequences of confidence intervals which are valid uniformly over time. We give two methods for tracking a fixed quantile and two methods for tracking all quantiles simultaneously. Specifically, we provide explicit expressions with small constants for intervals whose widths…
API Code Sample
.NET Wrapper for Post Quantum Crypto
.NET wrapper exposing the API of the Open Quantum Safe (OQS) C library.
