LIP6, the Computer Science laboratory of the University of Paris 6, is offering a PhD studenship in software engineering for robotics. The student will take part in the PROTEUS (Platform for RObotic models Transformations and Exchange between Users and Scientific communities) project funded by ANR (french research agency) that will start on December 2009 with various partners in France.

Candidates need to have a Master degree in computer science. Candidates for this position should have a strong software engineering background and be interested in robotics. Proficiency in written and spoken English is required. Knowledge of French is useful but not required.

We will find a description of the PROTEUS project here: http://www.gdr-robotique.fr/archives_update/GT4/01_11_09/1256147659_PROTEUSP...

You should send your application (CV+ motivation letter) and any inquiry by email to Serge Stinckwich (Serge.Stinckwich@gmail.com) and Mikal Ziane (Mikal.Ziane@lip6.fr).

Please find below a description of the Ph.D. subject in English and French.

--------

Ph. D. Thesis title: "Contribution to the design of domain specific languages for robotic applications"

Domain-specific languages (DSLs) are emerging as a key component of software engineering. A DSL is a modeling or programming language, dedicated to a particular problem domain, through appropriate notations and abstractions. They are often designed to express the requirements and solutions of a particular domain and has many benefits for developing software. The main purpose of Domain-Specific Modeling languages (DSMLs) is to allow for domain users (that are not programmers usually) to think in terms closer to the problem domain when specifying their systems, by providing a way to model them at the right abstraction level. DSL are already used in the context of embedded systems and the interests for the robotic community is also huge. Robotics system blends software/hardware in a very intrinsic way with a lot of cross-cutting concerns (concurrency, uncertainty, time constraints, ...). Adapting general purpose languages for such a domain often leads to a poor fit between the language features and the implementation requirements.

The main aim of PROTEUS project is the design and the implementation of a software development environment for robotics applications. This environment should provide several domain specific languages (DSL) in order to specify the software architecture and the behavior of a robotic system. This language will allow to specify robotic applications without having to specify low-level details including the details regarding the execution platform. This environment through carefully defined transformations will translate this language into an intermediate language.

------- Titre de la thèse : "Contribution à la conception de langages de domaine (Domain Specific Language) pour la robotique"

Les langages de domaines (DSL) sont maintenant considérés comme une approche importante dans les bonnes pratiques de génie logiciel. Un langage de domaine est un langage de programmation ou de modélisation, dédié à un domaine spécifique et qui utilisent pour cela des notations ou d'abstractions adaptées. Ils sont souvent conçus pour exprimer les besoins et les solutions d'un domaine spécifique et offrent de nombreux bénéfices pour le développement de logiciel. Le principal intérêt des DSLs est qu'ils permettent à des utilisateurs d'un domaine (qui ne sont généralement pas des développeurs) de pouvoir penser en terme proche de leur domaine lorsqu'ils spécifient leurs systèmes. Les DSLs sont déjà utilisés dans le contexte des systèmes embarqués et leurs apports dans la communauté robotique semblent également prometteurs. Les systèmes robotiques mèlent à la fois des aspects matériels et logiciels avec de nombreuses préoccupations spécifiques (concurrence, incertitude, contraintes temporelles, ...). Adapter des langages classiques à un tel domaine ne suffit pas et conduit généralement à une mauvaise adéquation entre les caractéristiques du langage et les besoins du domaine.

Le principal objectif du projet PROTEUS (Plate forme pour la Robotique Organisant les Transferts Entre Utilisateurs et Scientifiques) est la conception et l'implémentation d'un environnement de développement pour la réalisation d'applications robotiques. Cet environnement comprendra un ou plusieurs langage de domaine (domain-specific language, DSL) permettant de spécifier l’aspect architectural d’une application robotique mais aussi son aspect comportemental décrivant la partie contrôle et communication. Ce langage devra permettre de spécifier une application robotique sans avoir à préciser les détails de bas niveau et notamment les détails qui dépendent de la plateforme d’exécution. L’environnement, grâce à des transformations soigneusement définies, traduira les programmes de ce langage vers un langage intermédiaire indépendant de la plateforme.

--------

Best regards,

-- Serge Stinckwich UMI UMMISCO 209 (IRD/UPMC), Hanoi, Vietnam Smalltalkers do: [:it | All with: Class, (And love: it)] http://doesnotunderstand.org/