Mathematics

Working on fundamental problems in mathematics and theoretical computer science, and interacting with the academic community and other researchers on challenging applied problems

What's on the page

  1. Microsoft Research Blog
  2. Projects
  3. Publications
  4. Products & Downloads
  5. Videos
  6. People
  7. Groups
  8. Career Opportunities

Microsoft Research Blog

See the Microsoft Research blog

Learn Artificial Intelligence Skills via Residency at Microsoft

Harness Machine Learning to Improve People’s Lives At Microsoft, we are committed to leveraging the power of Artificial Intelligence (AI) to benefit people and greater society. Advances in AI can be applied to address some of the world’s biggest challenges, and so we are keen to nurture the next generation of talent, so they are better prepared to innovate and contribute to multiple areas of AI, including machine learning, planning, and decision making. Microsoft is…

January 2018

Microsoft Research Blog

Researchers Cherish University Roles

By Janie Chang, Writer, Microsoft Research For the past 11 years, the Microsoft Research Faculty Summit has brought academic and government research professionals together to share perspectives on new research, the challenges facing the research community, and ways to break new ground. The 12th version of this popular annual event, to be held July 18 through 20 in Redmond, Washington, provides an opportunity for collaboration across the full range of computing disciplines, one of many…

July 2011

Microsoft Research Blog

Maximum Overhang, Optimum Reward

By Janie Chang, Writer, Microsoft Research Yuval Peres, principal researcher at Microsoft Research Redmond and manager of the Theory Group, always advocates both healthy skepticism and an open mind when it comes to problem solving. Even so, Peres was pleasantly surprised when a paper he co-authored won the prestigious David P. Robbins Prize from the Mathematical Association of America (MAA) for taking a completely new approach to a problem mathematicians had considered solved for decades.…

March 2011

Microsoft Research Blog

Projects

See all 16 results inside projects

Conservation Mapping

Established: July 9, 2014

Microsoft research developed a tool in collaboration with IUCN, SSC and UAL, to allow the rapid mapping and assessment of species, threats to species and conservation interventions. it is hoped that this tool will improve bottom up conservation monitoring. RedList assessments and bottom-up conservation mapping   The Conservation Mapping Tool allows web based, collaborative, mapping and assessment of species, threats to species and conservation interventions.   It is hoped that the tool will  transform the…

zootracer

Established: February 12, 2014

Use consumer video equipment to trace animal movement. Zootracer is software developed at Microsoft Research, capable of accurately tracking multiple, unmarked, interacting individuals in arbitrary video footage. As the software is independent of recording devices, the user may provide recordings from any habitat type. With its intended ability to robustly cope with variations in lighting, camera movement and changes in object appearance, Zootracer represents a step forward in facilitating the collection and analysis of behaviour…

SNAP Sequence Aligner

Established: November 20, 2012

SNAP is a new sequence aligner that is 10-100x faster and simultaneously more accurate than existing tools like BWA, Bowtie2 and SOAP2. It runs on commodity x86 processors, and supports a rich error model that lets it cheaply match reads with more differences from the reference than other tools. SNAP was developed by a team from the UC Berkeley AMP Lab, Microsoft, and UCSF. Binaries are available here.

Publications

See all 734 results inside publications

Products & Downloads

See all 7 results inside products & downloads

Synthesizing Biological Theories

May 2010

This tool enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. The main components of the tool are a visual editor for constructing the model and to visualize the dynamic behavior, and an execution and analysis engine that can…

Size: 998 KB

NCBI BLAST on Windows Azure

July 2011

A parallel BLAST engine that runs on the Windows Azure cloud fabric, NCBI BLAST on Windows Azure can scale up to hundreds of compute nodes. This cloud-based implementation of the National Center for Biotechnology Information (NCBI) Basic Local Alignment Search Tool (BLAST) searches all available sequence databases for similarities between a protein or DNA query…

Size: 62 MB

Videos

See all 166 results inside videos

People

See all 31 results inside people
Portrait of Jennifer Chayes

Jennifer Chayes

Technical Fellow & Managing Director, Microsoft Research New England, New York City and Montreal

Groups

See all 9 results inside groups

Cryptography Research

Cryptography is the ancient science of encoding messages so that only the sender and receiver can understand them. Cryptography is now available to everyone thanks to the development of modern computers, which can perform more mathematical operations in a second than a human being could do in a lifetime. An ordinary PC can produce codes of such complexity that the most powerful supercomputer using the best available attack algorithms would not break them in a…

Theory Group

We work on fundamental problems in mathematics and theoretical computer science, interact extensively with the academic community and collaborate with other researchers at MSR on challenging applied problems. Among our areas of expertise are probability, algorithms, statistical learning, optimization, algorithmic game theory, error-correcting codes, combinatorics, statistical physics, and fractals. We host an amazing array of researchers in these areas, see below for a list of recent and upcoming visitors. See the Theory Seminar for a list of…

Computational Social Science

With an increasing amount of data on every aspect of our daily activities – from what we buy, to where we travel, to who we know, and beyond – we are able to measure human behavior with precision largely thought impossible just a decade ago, creating an unprecedented opportunity to address longstanding questions in the social sciences. Leveraging this sea of information requires both scalable computational tools, and understanding how the substantive scientific questions should…

Career Opportunities

See all 3 results inside job opportunities

Research Intern – Statistical Machine Learning

Type: Internship
Lab/Location: Microsoft Research Lab - New England
Research Area: Artificial intelligence, Mathematics

Empower every person and organization on the planet to achieve more. That’s what inspires us, drives our work, and pushes us to challenge the status quo every day. At Microsoft, we also work to empower our employees, so they can achieve more. We believe we should each find meaning in our work and we ensure employees have the freedom and the reach to help make a difference in the world. Microsoft Research provides a dynamic…

Principal Researcher

Type: Full-time researcher
Lab/Location: Microsoft Research Lab - Asia
Research Area: Multiple

As a principal researcher, you will define your own research agenda, driving forward an effective program of basic, fundamental, and applied research as well as advising others on the same. In addition to driving your own research agenda, we highly value collaboration and building new ideas with members of the group and others. You have the direct opportunity to realize your ideas in products and services used worldwide. Job number: 507603

Postdoctoral Researcher – “General”

Type: Post-doc researcher
Lab/Location: Microsoft Research Lab - New England
Research Area: Multiple
Deadline: December 11, 2018

Are you completing your PhD and looking for an opportunity to drive your postdoc research in a collaborative and interdisciplinary lab? If so, please read ahead to see if you could be a match for this exciting postdoc opportunity in the New England Research lab at Microsoft, starting July 2019! Promoting research that transcends traditional disciplinary boundaries is a core strength and enduring value of Microsoft Research New England. Researchers in our lab were trained in diverse…

Follow us:

Share this page: