[isabelle] PhD/Post-doc Positions on Program Analysis and Code Optimisation using Machine Learning at Uppsala University

[Apologies for multiple copies. Please forward to interested students.]

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
Post-doc: http://uu.se/en/about-uu/join-us/details/?positionId=196265
PhD:      http://uu.se/en/about-uu/join-us/details/?positionId=198134

For more information on what support you can expect see

Philipp Rümmer, PhD, Docent (Associate Professor)
Department of Information Technology, Uppsala University

web: http://www.philipp.ruemmer.org
Consider encrypting emails - http://www.philipp.ruemmer.org/gpg-keys.asc

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.