[TYPES/announce] PostDoc/Engineer at UCLouvain in assistive code repair

[Thomas Wilson]

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-wilson at uclouvain.be) or Prof. Axel Legay
(axel.legay at 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-wilson at uclouvain.be) or Prof. Axel Legay
(axel.legay at uclouvain.be).






-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190813/1916ddce/attachment.asc>