Microsoft

The P# team at Microsoft works on enabling developers to write reliable, well-designed and well-tested software through model checking and language integration techniques. The approach is reminiscent of TLA+ like techniques but differs in that the code _is_ the model and developers don’t have to write models separate from the implementation. P# explores interesting paths through the state space a program can take and produces reproducible traces which can be used to debug and fix issues in services and distributed systems. This position will involve a variety of tasks including writing samples and documentation to help P# gain wider adoption, and porting parts of the testing infrastructure to work on .NET core. It will also involve working on novel visualization techniques to aid debugging and comprehension of services and distributed systems.