Resource-Aware Conservative Static Analysis (M/F)

Télécharger l'offre au format PDF
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : Stage

Niveau de diplôme exigé : Bac + 4 ou équivalent

Fonction : Stagiaire de la recherche

A propos du centre ou de la direction fonctionnelle

The  Inria University of Lille centre, created in 2008, employs 360 people  including 305 scientists in 15 research teams. Recognised for its strong  involvement in the socio-economic development of the Hauts-De-France  region, the Inria University of Lille centre pursues a close  relationship with large companies and SMEs. By promoting synergies  between researchers and industrialists, Inria participates in the  transfer of skills and expertise in digital technologies and provides  access to the best European and international research for the benefit  of innovation and companies, particularly in the region.For more  than 10 years, the Inria University of Lille centre has been located at  the heart of Lille's university and scientific ecosystem, as well as at  the heart of Frenchtech, with a technology showroom based on Avenue de  Bretagne in Lille, on the EuraTechnologies site of economic excellence  dedicated to information and communication technologies (ICT)

Contexte et atouts du poste

Flexible starting dates. 

We have funding to cover an internship and, if the internship goes well for all involved parties, a PhD grant.

Mission confiée

The research intern will study the termination time the static analysis of a given program.
Static analyzers are designed to terminate in finite time, but this property is not strong enough in practice. 
First, analyses that terminate in bounded time (such as a year) may not yield actionable results in time. 
Second, most static analyzers do not express their progress during an analysis, which results in an unfriendly black-box behavior.

Principales activités

Further information can be found here; informal enquiries by email are welcome!

Compétences

Background in formal methods and programming language theory is a useful prerequisite.
Familiarity with conservative static analysis, and in particular abstract interpretation is a plus.
We expect the successful candidate to be motivated to improve experimental research tools such as Mopsa: knowledge of functional programming (such as OCaml) is required.

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: the number of days off depends on the number of days the intern is actually present at the center
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)

Rémunération

According to legal scale