[ecoop-info] 2 postdoc positions on Software Language Engineering at INRIA (DiverSE team)

[Benoit Combemale]

Two PostDoc Positions on Software Language Engineering
INRIA, DiverSE team
Rennes, France

PostDoc Position #1: Language Workbench for Heterogeneous Modeling and Simulation

Keywords: Software Engineering, Model Driven Engineering, Heterogeneous Modeling, Model Execution and Simulation, Language Design and Implementation, Language Engineering
Duration: 24 months

Description

The candidate to the postdoctoral position will join the INRIA's DiverSE team, working together with faculty members, PhD students, and software engineers. 
The candidate would participate to leverage on the Kermeta language workbench to provide a tool supported methodology that allow a DSML designer to modularly develop executable Domain-Specific Modeling Languages (DSMLs). Then, relying on the definition of an executable DSML, the tool should also provide a dedicated interface to control and animate the simulation of the domain-specific models and to capture and analyze temporal properties automatically. The platform will be validated on industrial use cases.

Context

This position on software language engineering is part of a more general investigation about the use of multiple modeling languages to support coordinated development of diverse aspects of a system. In particular, our research group currently coordinates the ANR project GEMOC (http://gemoc.org/ins), which focuses on the definition of a language workbench for heterogeneous modeling and analysis of complex software-intensive systems. 

The project GEMOC includes various academic and industrial partners (Inria, I3S IRIT, ENSTA, Thales and Obeo), and has the ambition to propose an innovative environment for the design of complex software-intensive systems by providing (i) a formal framework that integrates state-of-the-art MDE (Model Driven Engineering) and MoCC (Model of Computation and Communication) to reason over the composition of heterogeneous concerns; (ii) an open-source design and modeling environment associated to a well-defined method for the definition of DSMLs, MoCCs and rigorous composition of all concerns for simulation purposes. 

PostDoc Position #2: Domain-Specific Language Workbench

Keywords: Software Engineering, Software Language Engineering, Language Design and Implementation, Domain-Specific Language, Meta-language, Model analysis.
Duration: 24 months

Description

The candidate to the postdoctoral position will join the INRIA's DiverSE team, working together with faculty members, PhD students, and software engineers.
The candidate will investigate domain-specific meta-languages for engineering families of domain-specific languages (DSLs).  In particular, he/she will explore a theory for domain-specific meta-languages that support lightweight reasoning about soundness and completeness of families of DSLs with variation.

Context

This position on software language engineering is part of a more general investigation about the design and implementation of modeling languages to support the coordinated development of diverse aspects of complex software-intensive systems. The candidate will work in the context of a collaboration between the INRIA's DiverSE team and DGA (Direction Générale de l’Armement), and will involve in the context of the international GEMOC initiative (http://gemoc.org).

—

Working Environment

The candidates will work at INRIA in the DIVERSE team (Rennes, France). DIVERSE’s research is in the area of software engineering, focusing on the management of diversity in the construction of software intensive systems. The team is actively involved in European, French and industrial projects and is composed of 8 faculty members, 18 PhD students, 5 postdocs and 4 engineers. The monthly net salary is ~3000 Euros (before tax), depending on experiences.

How to apply

Please send your application (PDF) as soon as possible. Screening of applications starts immediately and continues until the positions are filled. Send cover letter including position for which you are interested, names of at least two referees, CV and PDFs of PhD dissertation (or draft) and up to three most relevant publications to Benoit Combemale <benoit.combemale at irisa.fr> and Benoit Baudry <benoit.baudry at inria.fr>.

--
Benoit Combemale, PhD in Computer Science
Associate Professor, Univ. Rennes 1 (IRISA & ESIR)
Research Scientist at Inria (secondment)
http://people.irisa.fr/Benoit.Combemale

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140420/e2a92fb1/attachment.html>