Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD/Post-doc Positions on Program Analysis and...


view this post on Zulip 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: Mar 28 2024 at 08:18 UTC