[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Apologies for multiple postings... Universite Catholique de Louvain is seeking to recruit a PostDoc/Research engineer position in a full time position to work on a project on assistive code repair. The post is initially offered for one year, with options to extend for up to three years (project duration is three years from October 2019). The main responsibilities of the successful candidate will be to: 1. implement program transformation from source code to a formal model suitable for analysis, 2. implement and refine analysis techniques to find program flaws, and 3. to automatically generate program repairs for the flaws found. The post holder will be working closely with researchers within the group at UCLouvain and industrial partners. The post holder will benefit from a strong research environment provided at UCLouvain and within the team. There will also be opportunities to collaborate on other related projects in the domains of security and verification. The ideal candidate will hold a PhD or other significant experience in one or more of the following areas: - program analysis - (statistical) model checking - program verification - automatic program repair - programming languages/transformation. Information enquiries are welcome and should be directed to Dr Thomas Given-Wilson (thomas.given-wil...@uclouvain.be) or Prof. Axel Legay (axel.le...@uclouvain.be). Net salary is 2200-2500 euro per month (after taxes and social security). Applications should be sent to both Dr Thomas Given-Wilson (thomas.given-wil...@uclouvain.be) or Prof. Axel Legay (axel.le...@uclouvain.be).
signature.asc
Description: OpenPGP digital signature