<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">The INRIA Triskell group (<a class="moz-txt-link-abbreviated" href="http://www.irisa.fr/triskell">www.irisa.fr/triskell</a>) has 3 open PhD positions:<br><br>-&nbsp;<big><b>Modeling variability in regulatory requirements</b></big>. requirements engineering, MDE, model analysis and understanding, information retrieval.&nbsp;<i>Supervisor: Benoit Baudry</i><br><a class="moz-txt-link-abbreviated" href="http://www.irisa.fr/triskell/jobs/phd-positions/req_phd">www.irisa.fr/triskell/jobs/phd-positions/req_phd</a><br><small>This PhD will address trace retrieval between regulatory and system requirements, and the systematic identification of variation points within regulatory requirements. Both tasks will rely on metamodeling state-of-the-art techniques to improve the structure of requirements description through a strong type system, and for impact analysis. In particular, we will investigate the retrieval of variability models within requirements, following a software product line paradigm.</small><br><br>-&nbsp;<big><b>Resource Reservation in a pervasive middleware</b></big>. pervasive/distributed system, MDE.<i>&nbsp;Supervisors: Benoit Baudry, Johann Bourcier</i><br><a class="moz-txt-link-abbreviated" href="http://www.irisa.fr/triskell/jobs/phd-positions/ResourcesReservation">www.irisa.fr/triskell/jobs/phd-positions/ResourcesReservation</a><br><small>This PhD will address the problem of ensuring resource availability for distributed pervasive applications. This problem will be addressed through the evolution of a state of the art Java Virtual Machine and state of the art Models@runtime techniques.&nbsp; In particular, we will investigate dynamic reservation on distributed and volatile environment of various resources (such as CPU, memory and so on) for each application.</small><br><br>-&nbsp;<big><b>Software Testing of Interactive Systems</b></big>. MDE, HCI, model-based testing.&nbsp;<i>Supervisors: Benoit Baudry, Arnaud Blouin</i><br><a class="moz-txt-link-abbreviated" href="http://www.irisa.fr/triskell/jobs/phd-positions/HCI_Software_Testing">www.irisa.fr/triskell/jobs/phd-positions/HCI_Software_Testing</a><br><small>This PhD will investigate the use of modern software development concepts to define new innovating and efficient methods to test interactive software. Several challenges must be tackled: the automatic test cases generation from models; their automatic execution; empirical evaluation of HCI properties; etc. This work will be done in cooperation with industrial partners from the energy industry. Here, challenges are related to time and accuracy: the software must react within tight time contraints and must compute accurate representations of the system status. Thus, the results of this work can be validated through use cases related to this domain.</small><br><br>INRIA Rennes, 3 years, Salary: ≈1600€/month, the positions are open until they are fulfilled, and no later than November 2012. The student will join the Triskell research&nbsp;group (<a class="moz-txt-link-abbreviated" href="http://www.irisa.fr/triskell">www.irisa.fr/triskell</a>), which research focuses on model-driven engineering. The group includes 7 faculty members, 20 PhD students, engineers and postdocs.</body></html>