Post-doc and PhD Positions on Program Analysis and Code Optimisation using Machine Learning

by Philipp Ruemmer, March 27, 2018

The department of Information Technology, Uppsala University, announces

* 1 Post-doctoral position (2 years, including at most 20% teaching)
* 1 fully-paid PhD position (5 years, including 20% teaching)

on Program Analysis and Code Optimisation using Machine Learning.

The subject of the post-doc position is to develop more powerful techniques for code optimization or code analysis, by applying machine learning techniques (e.g., deep learning) in new ways to extract features from program code. The project will use the result of learning in several possible ways, such as code optimisation that cannot be achieved by applying standard compile-time optimizations, or the automatic verification of correctness properties.

The goal of the PhD position is to find new ways of using machine learning (in particular, methods based on deep neural networks) to improve, extend or replace classical program analyses. Two focus areas are model checking (algorithms that can automatically prove the absence of bugs in programs) and defect prediction (methods that can predict the likelihood of defects in given code segments). The PhD work will be carried out in the context of a collaboration between Uppsala University and Microsoft Research Cambridge. The position is partly funded through a Microsoft Research PhD scholarship, and includes benefits such as summer schools organised by Microsoft Research Cambridge.

Application deadline: April 30 2018

For more details and instructions on how to apply see:


For more information on what support you can expect see