INRIA has a new call for PhD Student positions.
Description
============
To support the creation and evolution of complex systems, dynamic languages
provide support for reflection.
A reflective system contains a model of itself to enable runtime change: if we
change the model, the system
changes and vice versa. Reflection allows the programmer to do any kind of
change at runtime, even those that
render the system useless or breach any kind of security guarantees. Reflection
is an established research
theme and has seen a lot of work over the last decades. The question of how to
control reflection and related
that of secure reflective systems in general has not seen much research
activity.
The goal of this PhD is to propose a new secure reflective language kernel for
dynamic languages.
The following points should be explored:
- Study existing models of security.
- Study existing reflective systems and especially prior work on security and
reflection.
- Propose a new, secure model of reflection.
- Implemented the model in a dynamic, object-oriented language.
References
===========
- Jean-Baptiste Arnaud, Marcus Denker, Stéphane Ducasse, Damien Pollet,
Alexandre Bergel, and Mathieu Suen.
Read-Only Execution for Dynamic Languages. In Proceedings of the 48th
International Conference Objects, Models,
Components, Patterns (TOOLS'10), Malaga, Spain, 2010.
- Marcus Denker, Mathieu Suen, and Stéphane Ducasse. The Meta in
meta-object architectures. In Proceedings of
TOOLS EUROPE 2008, volume 11 of LNBIP, pages 218–237, 2008.
- Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, Stéphane Ducasse,
Markus Gaelli and Roel Wuyts, “On the
Revival of Dynamic Languages,” Proceedings of Software Composition
2005, Thomas Gschwind and Uwe Aßmann (Eds.),
vol. 3628, LNCS 3628, 2005, pp. 1-13
- Mark S. Miller and Jonathan S. Shapiro. Paradigm Regained: Abstraction
Mechanisms for Access Control. In Proceedings
of the 8th Asian Computing Science Conference, p. 224-242, 2003.
Skills and Profile
====================
- You must hold a Master's in computer science, control engineering,
mathematics,
scientific computation or an equivalent diploma.
- Nationality is not taken into consideration.
- Knowledge in programming language design
- Object-oriented programming with knowledge of Smalltalk
About Lille and INRIA:
======================
- Lille is located in the north of France at the border to Belgium
- one hour from Paris, 1h20 from London, 35 min from Brussels, by train.
- French food, combined with belgian beer.
- RMoD: http://rmod.lille.inria.fr
- INRIA Lille: http://www.inria.fr/lille/
- INRIA in General: http://www.inria.fr
- Lille:
-http://en.wikipedia.org/wiki/Lille
-http://wikitravel.org/en/Lille
Benefits
========
- Duration : 36 months – starting date of the contract : October 2012, 15th
- Salary: 1957,54 EUR the first two years and 2058,84 EUR the third year
Monthly salary after taxes: around 1597,11 EUR the 1st two years and
1679,76 EUR the 3rd year
(social security included).
- Possibility of French courses
- Help for housing
- Scientific Resident card and help for husband/wife visa
Additional Information
======================
- Application deadline: 4 May 2012
- Info on INRIA PhD Positions 2012:
http://www.inria.fr/en/institute/recruitment/offers/phd/campaign-2012
- Before applying, please contact the scientist advisor: [email protected]
Permanent URL of this call:
http://rmod.lille.inria.fr/web/pier/blog/2012-02-27
All RMOD Jobs: http://rmod.lille.inria.fr/web/pier/Jobs
--
Marcus Denker -- http://marcusdenker.de
