Open PhD Position

Post date: Oct 18, 2016 2:12:47 PM

Formal Analysis of Software Energy Consumption

As part of its IT research activities, ICAM campus of Nantes has undertaken studies on software energy consumption, its factors and impacts on software engineering in order to improve its energy efficiency.

This work will be carried out within the research project MEASURE ( which aims at defining metrics-driven software engineering using novel metrics. Interesting collaborations could then be established with the different project partners.


Currently, energy consumption measurements concern binary codes only and these measurements are performed during the software testing phase. This PhD thesis aims at developing a reliable method for estimating software energy consumption from their source codes. Requirements for software energy consumption could then be verified at earlier development phases.


The objective of this PhD thesis consists in developing a methodology in order to elaborate power models for all software components from energy consumption measurement results of some software only. This should be achieved by the means of formal methods or formal models to analyze the software components. Results of this PhD thesis (prototypes, publications, etc.) will be shared within the MEASURE project.


A co-supervising is planned between the University of Nantes and the Vrije Universiteit Amsterdam (VU Amsterdam).

Candidates profile

We are looking for a dedicated student:

    1. Master degree in Computer Science,
    2. Good knowledge on formal methods,
    3. Experience on software testing is a plus,
    4. Programming, modelling skills,
    5. Writing and communication skills in English.

Candidates must send their application (CV and cover letter) by email to Jérôme Rocheteau.

Salary: 32k€ per year

Workplace: Nantes and Amsterdam

ICAM is a university of general engineers that develops his research through 4 laboratories: Energy, Mechanic and Materials (LE2M), Electrical Engineering and Automation (GEA), Industrial Engineering and Computing. The different teams of ICAM are used to work in close co-operation with companies and external laboratories on upstream research projects in R&D and technology transfer.