alan.schmitt at polytechnique.org
Wed Apr 24 06:12:41 EDT 2013
is available. Please find more information about it below.
** About Orange
Orange is one of the world's leading telecommunications operators with sales of
43.5 billion euros for 2012. Orange employs 170,000 persons worldwide, including
105,000 in France. Present in 32 countries, the Group has a total customer base
of 230 million customers as of December, 31, 2012.
program complete embedded services accessible from web browsers, including
may need to have access to critical functions of these terminals to provide the
services of interest.
challenging to obtain any formal guarantee on the behavior of scripts. This
shortcoming may ultimately limit the use of the language to program services,
and thus reduce its interest as an alternative to the usual native and
proprietary device-specific platforms.
** PhD topic
language that would make it possible to design a practical programming logic
without fundamentally changing the expressiveness of the language: developers
should still be able to program in the most natural way. In particular, the
functional heart of the language must be supported. This programming logic would
then be used to prove properties of the applications.
Wherever possible existing tools will be reused, possibly extending them. In
particular, a stepping stone of the research should be the Why3 platform,
developed for the analysis of C and Java programs. A first challenge will be its
extension to a higher-order logic, required for the functional aspects of
The candidate should have a degree equivalent to a French Research Master.
She or he must have a solid background on the semantics of programming language
and code verification techniques (proof or static analysis). In particular,
knowledge of the Coq proof assistant (or an equivalent theorem prover), which is
The thesis will take place in the Security Department of Orange Labs in Lannion
(Brittany). This laboratory offers its expertise to design new security
solutions ranging from infrastructure to data protection for Orange
customers. The team currently develops static analysis tools for the analysis of
mobile applications (initially for MIDP phones and now for Android).
The thesis will be done in collaboration with the University of Rennes 1. The
student will work with the Celtique Research team from Inria and will make
regular visits to this team.
The candidate is also expected to collaborate with other research teams working
on the topic, especially those involved in the JSCert project
Contact at Orange: pierre.cregut at orange.com
Contact at Inria: alan.schmitt at inria.fr
Reference on Orange Jobs :
More information about the Types-announce