Stage M2 Système et Langages de Programmation
Note De nouveaux stages sont proposés pour l’année 2009-2010.
L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un stage de Master 2 dans le domaine de l’analyse statique de sécurité, sous la supervision de David Teller (SDS) et Henri Binsztok (MLState).
08.29.08
OCaml Batteries Included, release 0: Where it should all have begun
After a few discussions on IRC, by e-mail and on forums, I have come to realize that both the purpose of Batteries Included and what the development of Batteries involved were quite unclear to most people — and that we should probably have started our work in quite a different manner. All these discussions have prompted a few changes and the release of a first pre-version of Batteries Included, which you may find on the OCamlForge project (you may also browse source code here and API documentation here).
This release represents what we should have produced in the first place; a simple and uniform presentation layer on top of existing libraries.
08.28.08
Post-doctorate position in Programming Language Design
Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans) offer a post-doctorate position in the domain of Programming Language Design, under the supervision of David Teller (SDS) and Henri Binsztok (MLState).
Post-doctorat en langages de programmation
L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un poste de post-doctorat dans le domaine de la conception de langages de programmation, sous la supervision de David Teller (SDS) et Henri Binsztok (MLState).
08.27.08
What’s up with Batteries?
A few days ago, someone asked me whether there was more to OCaml Batteries Included than Lazy Lists. The answer is a definite yes. If you have looked at the repository recently, you may have seen that there is plenty more waiting for testing and for a release.
Let’s take a brief look at what is done and what is left to do.
08.16.08
Bourse de doctorat dans l’équipe SDS avec le CEA
Le CEA (Commissariat à l’Énergie Atomique) et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent une bourse de doctorat dans le domaine de la Sécurité Appliquée ou des Fondements Théoriques de la Sécurité, sous la supervision administrative de Mathieu Blanc (CEA) et Christian Toinard (SDS).
La bourse dure trois ans (renouvelables) et couvre un salaire brut de 1990,25€ par mois (première et deuxième année) à 2049,75€/mois (troisième année).Le poste est disponible à partir du premier octobre 2008.
Compétences et parcours
Idéalement, le candidat doit avoir un excellent Master 2 d’informatique et un intérêt en Sécurité des Systèmes ou en Méthodes Formelles. De plus, le candidat doit avoir des connaissances dans au moins un des domaines suivants :
- sécurité des systèmes
- systèmes d’exploitation
- systèmes distribués
- programmation système
- clusters
- analyse statique
- théorie des graphes
- théorie du parallélisme
- logique formelle
- sémantique dénotationnelle
- sémantique opérationnelle
- aspects théoriques de la sécurité et de la confiance.
Les candidats doivent avoir le droit de travailler en France et seront affectés sur le campus de l’ENSIB (École Nationale Supérieure d’Ingénieurs de Bourges). Leur tâche première concernera la théorie ou/et l’implantation de mécanismes efficaces de garantie de politiques de sécurité pour des systèmes distribués tels que les grilles et les clusters. L’objectif principal de ce doctorat est d’étendre les approches actuelles de garantie locale de politiques de sécurité pour en construire des techniques applicables à de vastes systèmes distribués, tels que ceux utilisés pour l’analyse de données ou l’analyse numérique.
Pour candidater
Pour candidater, nous vous invitons à envoyer un CV et une lettre de motivation, par courrier physique ou électronique, à Christian Toinard et Mathieu Blanc. Si possible, joignez un échantillon de vos travaux scientifiques. La candidature implique une vérification de sécurité par le Ministère de la Défense.
08.14.08
Mozilla Add-ons Workshop Paris
A Mozilla Workshop will be held in Paris on September 20th 2008. The main topic of this workshop is add-ons development, for a technical audience of developers and beginners. I will be talking about security of add-ons. More informations here.
Un Atelier Mozilla se tiendra à Paris le 20 Septembre 2008. On y parlera des divers aspects du développement d’extensions, à l’attention d’un public plutôt technique, composé de développeurs et de débutants. J’y parlerai de sécurité des extensions. Plus d’informations ici.
PhD positions in Formal Program Verification
A colleague asked me to spread this information.
PhD positions in Formal Program Verification are to be filled at the Department of Informatics, University of Sussex at Brighton, UK. Applications are invited for two PhD positions for the EPSRC funded project “From Reasoning Principles for Function Pointers To Logics for Self-Configuring Programs” under the supervision of Bernhard Reus within the Foundations of Computing Group at Sussex. More information about the project is available at
<http://www.informatics.sussex.ac.uk/research/projects/PL4HOStore/>
Each studentship covers tuition fees (for EU citizens only) and a substantial maintenance grant of GBP 12,940 per year. The earliest start date is 1st October 2008 and is negotiable to a limited extent. Both studentships are for three years.
Profile and skills
The ideal candidate will have an excellent undergraduate degree in Computer Science or Mathematics with an interest in formal methods. Candidates should have a background in one, or ideally several, of the following areas:
- program logics
- separation logic
- denotational semantics
- (Hoare-) type systems
- reflective programming (in the context of object-oriented languages)
- mechanization of formal logics in theorem provers or other verification tools.
Candidates must speak English, be eligible to work in the UK and should expect to work on-campus at the University of Sussex. They will work on the development and implementation of reasoning principles for programs that use function pointers or reflective features that can be expressed with the help of function pointers like e.g. dynamic loading or dynamic code update.
Sussex & Brighton
The University is situated in Brighton which is a famous seaside resort at the English south coast, about 50 miles from London (and half an hour from Gatwick Airport). It is renowned for its nightlife, fabulous shops, and cosmopolitan vibe.
Application Procedure
To apply on-line or by paper for a DPhil place at Sussex consult:
http://www.sussex.ac.uk/pgapplication
(which involves a simple registration process, you will find guidelines how to proceed).
Please state clearly in the academic interest section of the application that you are interested in this particular project. If possible upload a sample of your academic writing.
The deadline is August 28th. After that applications will only be considered if places have not been filled.
Should interviews be necessary they will take place between September 15th to 19th.
