Redmond , Washington
October 18, 2017
The Microsoft Research Redmond Lab’s Central Engineering Team, develops software & hardware technologies and components based on Microsoft Research innovations, from technical transfer to the main Microsoft product groups, large scale prototyping and deployment, to internal lab engineering needs. Our group’s mission is to aid or own the transition of late-stage research technology into Microsoft products and to develop, deploy, and refine prototype software based on research ideas in order to stimulate new thinking about the potential and positioning within the MS product line.

Project Everest aims to build and deploy a formally-verified HTTPS stack. It brings together multiple projects:
• F*, a verification-oriented dialect of the ML language
• miTLS, our implementation of the TLS protocol, written in F*, supporting TLS 1.3 in addition to 1.2
• KreMLin, a compiler from a subset of F* to C
• HACL*, a verified library of cryptographic primitives written in F*
• Vale, a domain-specific language for implementing and verifying cryptographic primitives in assembly

Project Everest is looking for experienced software engineers to complement the research teams, with tasks such as:
• Integrating Everest’s cryptography and TLS implementation into existing client and server applications
• Working with product teams inside and outside of Microsoft, to understand and meet their requirements
• Defining the right abstraction layer, balancing ease of use and security
• Ensuring high scalability and performance via minimal locking and careful memory management
• Performance investigation and improvement
• Testing, both manual and improving our automation
• Process improvements - build, checkin, integration, etc.
• Verification of our code, using F* and Vale

We are a multi-national team, with core contributors inside and outside of Microsoft, around the world. Our code is open, and we build and run on both Windows and Linux systems.

Basic Qualifications:
• 5+ years’ experience using Windows or Linux
• 5+ years’ experience coding in C/C++ for low-level systems code
• BS Computer Science, Electrical Engineering or a related technical discipline

Preferred Qualifications:
• Proficient coding in Python
• Good understanding of socket APIs, TCP, UDP, TLS, HTTP, QUIC, and HTTP2 protocols
• Familiarity with functional programming languages such as OCaml or F#
• Collaboration powerhouse and ability to work with multiple disciplines such as PM, dev, design, and research

Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request to

A little about us:
Microsoft offers training and employment opportunities to help you turn your military experience and skills into a civilian technology career.

Know someone who would be interested in this job? Share it with your network.