Resource-Aware Conservative Static Analysis (M/F)
Contract type : Internship
Level of qualifications required : Master's or equivalent
Fonction : Internship Research
About the research centre or Inria department
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)
Context
Flexible starting dates.
We have funding to cover an internship and, if the internship goes well for all involved parties, a PhD grant.
Assignment
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.
Main activities
Further information can be found here; informal enquiries by email are welcome!
Skills
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.
Benefits package
- 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.)
Remuneration
According to legal scale
General Information
- Theme/Domain :
Architecture, Languages and Compilation
Software engineering (BAP E) - Town/city : Villeneuve d'Ascq
- Inria Center : Centre Inria de l'Université de Lille
- Starting date : 2025-02-03
- Duration of contract : 5 months
- Deadline to apply : 2024-12-11
Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.
Instruction to apply
CV + cover letter
Defence Security :
This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.
Recruitment Policy :
As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Contacts
- Inria Team : SYCOMORES
-
Recruiter :
Monat Raphael / raphael.monat@inria.fr
About Inria
Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.