Email Gateway (Aug 22 2022 at 16:52): Email Gateway (Aug 22 2022 at 16:52):From: Philipp Ruemmer <philipp.ruemmer@it.uu.se>
[Apologies for multiple copies. Please forward to interested students.]
The department of Information Technology, Uppsala University, announces
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
http://www.uu.se/en/about-uu/join-us/plan-your-stay/
signature.asc
Last updated: Nov 21 2024 at 12:39 UTC