L’entreprise MLstate développe OPA, une plate-forme de développement web fondée sur l’état de l’art de la Recherche en langages de programmation, parallélisme, distribution, sécurité et bases de données. Pour l’année 2009-2010, MLstate propose autour d’OPA plusieurs stages de Master 2 informatique dans les domaines suivants :

• langages de programmation ;
• systèmes de types ;
• analyse statique ;
• preuve de programmes ;
• politiques de sécurité de haut niveau ;
• programmation parallèle ;
• programmation distribuée ;
• bases de données ;
• génération d’interfaces graphiques.

Ces stages, dont la durée est à négocier, sont prévus a priori pour le deuxième semestre 2009-2010, seront rémunérés 800€ bruts/mois + primes et pourront déboucher sur un doctorat avec bourse CIFRE ou/et sur une embauche en CDI.

Compétences et parcours

Le candidat doit être étudiant de Master 2 (professionnel ou recherche) en Informatique et doit s’intéresser à la notion de programmation sûre par construction. De plus, le candidat devra avoir des connaissances dans au moins l’un des domaines suivants :

• programmation fonctionnelle, si possible à l’aide de OCaml, F#, SML, Haskell, Scala ou un autre langage proche de ML ;
• programmation web ;
• programmation parallèle ou/et distribuée ;
• modèles à base de messages ;
• compilation ;
• systèmes de types ;
• sémantique du parallélisme ;
• preuve de programmes, si possible à l’aide de Coq, Focal, Pangolin, Why, Ynot, Who ou d’autres outils de preuve formelle ;
• bases de données, y compris et en particulier les bases de données non-relationnelles  ;
• sécurité des programmes.

Le candidat doit avoir le droit de travailler en France et sera affecté sur le site de R&D de MLstate, à Paris, dans le quartier Bibliothèque François Mitterand, dans une équipe dynamique, multilingue, composée de chercheurs et d’ingénieurs de recherche.

Sujet : compilation

Le développement de compilateurs optimisateurs pour des langages de haut niveau se heurte fréquemment à des problèmes inhérents aux processeurs et aux machines virtuelles modernes, conçus pour améliorer la performance de langages impératifs de bas niveau. De nombreuses techniques fondées sur le lambda-lifting ou les transformations par passage de continuation, ont été conçues pour compiler efficacement des langages fonctionnels d’ordre supérieur vers un modèle impératif. Ces techniques interviennent aussi lors de la compilation de code parallèle ou/et distribué.

Le langage OPA est un langage de haut niveau, doté de plusieurs compilateurs visant plusieurs cibles, natives et interprétées, séquentielles et parallèles. Dans le cadre de ce travail, l’étudiant prendra part au développement d’une branche expérimentale du compilateur parallélisateur natif OPA. Le stagiaire devra concevoir et implanter des techniques de compilation, d’optimisation et d’analyse statique, ainsi que mesurer et améliorer les performances du compilateur lui-même.

Ce travail sera dirigé par Mikolaj Konarski et François-Régis Sinot et impliquera des recherches bibliographiques, la conception de phases de compilation et d’optimisation, la programmation en OCaml, la conception et l’implantation d’expériences, l’analyse et l’exploitation des résultats. Un éventuel doctorat ou CDI pourra continuer ce stage sous la forme du développement complet d’une nouvelle génération de compilateur OPA.

Sujet : système de types

Dans les langages de programmation statiquement typés, la première protection contre les failles de sécurité passe par le système de types, qui vérifie la cohérence entre un certain nombre d’hypothèses faites implicitement ou explicitement par le programmeur. Malgré la souplesse que permettent les langages de programmation avec inférence de types, aucun système de types n’acceptera tout programme correct et tout programmeur se retrouvera un jour confronté aux limitations du système de types qu’il emploie.

Le langage OPA est statiquement typé. Au cours de son existence, ce langage a déjà connu deux générations majeures de systèmes de types, qui lui ont permis de gagner en souplesse, en puissance et en fiabilité. Dans le cadre de ce travail, l’étudiant prendra part au développement d’une troisième génération de système de types d’OPA. Le stagiaire devra proposer des techniques d’inférence et de vérification de types pour des types récursifs implicites (y compris des types récursifs ouverts), des techniques de correction interactive d’erreurs de types introduites par l’utilisateur, ainsi que des techniques pour faire interagir le typage statique d’OPA et des utilisations qui pourront nécessiter une forme de typage dynamique.

Ce travail sera dirigé par Mikolaj Konarski et François-Régis Sinot et impliquera des recherches bibliographiques, la conception d’algorithmes et de contraintes de typage, la programmation en OCaml, la conception et l’implantation d’expériences, l’analyse et l’exploitation des résultats. Un éventuel doctorat ou CDI pourra continuer ce stage sous la forme du développement complet d’une nouvelle génération de système de types OPA.

Sujet : métaprogrammation statique et manipulation statique de programmes

La métaprogrammation est une technique de programmation qui consiste à écrire des programmes ou des sous-programmes qui seront évalués durant la compilation ou l’interprétation et produiront un nouveau programme ou sous-programme, qui pourra à son tour être évalué ou compilé, etc. Cette technique, très puissante, pose de nombreuses difficultés de gestion des dépendances, de typage, de performance et de traçabilité.

La chaîne de compilation OPA emploie en interne des techniques de métaprogrammation qui ne sont pas, à l’heure actuelle, manipulables directement par l’utilisateur. Dans le cadre de ce travail, l’étudiant prendra part à l’expérimentation sur la possibilité de développer des techniques de métaprogrammation sûres et simples pour OPA. En parallèle, l’étudiant prendra part au développement d’outils de manipulation statique de programmes pour refactoring, analyse de propriétés et mesures de qualité, etc.

Ce travail sera dirigé par Rudy Sicard et François-Régis Sinot et impliquera la conception et l’implantation d’algorithmes de manipulation de programme durant la compilation et hors-compilation, d’algorithme pour remonter les erreurs de typage apparaissant durant durant la compilation suite à la manipulation de programme par métaprogrammation, ainsi que l’implantation d’utilitaires pour OPA.

Sujet : programmation distribuée

Par nature, les applications web sont distribuées entre un serveur et de nombreux clients. Généralement, le côté serveur est lui-même distribué entre plusieurs serveurs web, plusieurs serveurs de stockage et parfois des serveurs additionnels de calcul. Si cette distribution est fréquemment nécessaire pour des raisons de performances, de capacité de stockage ou tout simplement de fonctionnalités, les mécanismes sous-jacents sont généralement de grandes sources de lenteur, de gaspillage d’espace et de failles de sécurité.

Le compilateur OPA produit des applications distribuées entre toutes ces cibles. Dans le cadre de ce travail, l’étudiant prendra part à l’amélioration de l’environnement d’exécution distribué d’OPA, notamment à l’optimisation du ramasse-miettes distribué, des protocoles de communication et de migration entre serveurs et du routage entre serveurs. L’objectif de ce stage est d’améliorer les performances de l’exécution distribuée de code OPA sans diminuer la sécurité existante.

Ce travail sera dirigé par David Rajchenbach-Teller et Rudy Sicard et impliquera de la théorie de la distribution, de la bibliographie, la conception et l’implantation d’algorithmes de ramasse-miettes en OCaml ou/et en OPA, ainsi que l’expérimentation et l’exploitation des résultats d’expériences. Un éventuel doctorat ou CDI pourra continuer ce stage par l’implantation d’une deuxième génération d’environnement d’exécution distribuée pour OPA.

Sujet : Preuve de programmes

Pour être totalement certain qu’un programme correspond à ses spécifications, il est nécessaire de prouver ce programme formellement, sous la forme d’un ensemble de théorèmes vérifiables par un outil tel que Coq. Si Coq dispose de nombreux modules et de nombreuses bibliothèques, le champ d’action de cet outil reste encore limité par rapport à l’ensemble des propriétés nécessaire pour garantir le fonctionnement d’une application complète, en particulier d’une application web.

Dans le cadre de ce travail, l’étudiant prendra part à l’effort en cours de MLstate pour définir une plateforme formellement prouvée pour le développement Web. En particulier, le stagiaire s’intéressera à la manipulation de texte dans Coq, manipulation qu’il étendra de manière à introduire les encodages internationaux. En particulier, l’objectif de ce travail est de permettre à Coq de représenter et de prouver des propriétés sur les encodages internationaux, les conversions de chaînes de caractères, les structures de cordes de caractères, …

Ce travail sera dirigé par Adam Koprowski et impliquera essentiellement de la spécification et de la programmation en Coq.

Pour candidater

Pour candidater, nous vous invitons à envoyer un CV et une lettre de motivation, par courrier physique ou électronique, à Henri Binsztok et David Teller. Si possible, joignez un échantillon de vos travaux scientifiques ou/et techniques.

À propos de MLState

Fondée à Paris en 2007 par Henri Binsztok, enseignant aux Universités Paris 6 & 7, MLState développe un nouveau langage pour la création d’applications web. Ce langage, fondé sur les avancées les plus récentes en termes de recherche, ouvre des perspectives nouvelles en termes de prouvabilité, de calcul distribué et d’intégration aux bases de données. MLstate a été récompensée de nombreuses fois pour cette technologie, remportant notamment le Prix du Concours national d’aide à la création de technologies innovantes. À côté de développements pour des clients, MLstate fournit un effort important de recherche pour enrichir son offre technologique intégrée.

Dans le cadre de ses recherches, MLstate travaille avec l’ENS Ulm, le CNAM, l’ENSIIE, les universités Paris 6 et Paris 12, l’INRIA Rhône-Alpes, l’Université d’Edinburgh, l’Imperial College of London, l’Université de Cambridge, l’Université de Saint-Andrews, l’Université Heriot-Watt, l’Université de Bologne …

Le Bureau des étudiants organise, en partenariat avec l’association Actux, une conférence sur l’open-source, le mardi 1er décembre à 18h30 (Amphi KRIER)

Programme :

- Qu’est ce que le libre, la philosophie?
- Le logiciel libre, linux & co
- L’économie du logiciel libre
- La culture libre

Ouvert à tous, c’est une ouverture sur le monde du logiciel libre, venez nombreux!

Votre attention, bientôt la “Nuit des Ecos” de la Faculté des Sciences Economiques Rennes 1 va avoir lieu…(http://bdeecorennes1.weem.com/).

Si vous jouez dans un groupe de musique et que l’idée de vous produire sur la scène de l’Etage du Liberté le 15 janvier 2010 vous accroche; alors n’hésitez pas à nous contacter!
bde.eco@gmail.com

Si vous ne savez pas chanter mais dessiner, ça nous intéresse, l’affiche du gala n’attend que vous!
même adresse : bde.eco@gmail.com

Un nouveau service est disponible sur votre Blog du BDE!

En effet, vous trouverez un lien vers Weem.

Weem, mais qu’est ce que c’est?

Echangez biens, services et bons plans dans la faculté des Sciences Economiques!

Un service gratuit : 0 coût de transaction!

Votre voisin de classe a peut-être un service, un objet, une activité qui VOUS intéresse!

C’est simple : inscrivez-vous grâce à votre adresse de la fac sciences eco Rennes 1

prenom.nom@etudiant.univ-rennes1.fr

A vous de jouer!

Le 15 octobre, c’est la soiréé des ECO au Stanley !!

Organisation : Venez dès lundi 5 octobre acheter vos places dans le Hall du nouveau bâtiment entre 12h30 et 13h30, et ce, durant toute la semaine !

Entrée à 4€ + 1€ de navette

HORAIRES NAVETTES

DEPART : à 22H45, à 23H45, à 00H45

se présenter 15 minutes avant le départ

Vous voulez adhérer durablement au BDE?

Alors dans ce cas, on vous donne rendez-vous aux permanences de l’association (Horaires affichés sur le blog et sur la porte de la salle 301).

Un euro symbolique vous sera demandé. En échange, vous profiterez d’une série d’avantages offerts par nos partenaires (cliquez sur “partenaires”) et des tarifs préférentiels sur les entrées lors des événements organisés tout au long de l’année.

La palette d’offres va s’étoffer dans les semaines à venir !!!!

Bonjour et bienvenue à tous

Toute l’équipe du BDE 2009 – 2010 vous souhaite une très bonne rentrée et vous accompagnera toute cette année lors des soirées, tournois sportifs et autres réjouissances.

N’hésitez pas à venir nous rencontrer dès le 14 septembre. Des permanences seront organisées sur l’heure de midi (plus de précision prochainement).

Vous pouvez dès à présent nous envoyer un mail à bde.eco@gmail.com

A très bientôt.

Il y a maintenant plus d’un mois j’ai fait des demandes d’inscriptions pour des Master 2 en alternance. La filière : création multimédia. Bah oui, c’est la branche qui m’intéresse, allier RP et le Online… Au départ j’étais pas vraiment partie pour refaire une année. J’ai déjà une licence à la Fac (qui me sert pas à grand chose, certes mais quand même !) – Et puis j’ai fini par intégrer, il y a deux ans, l’ISCOM (Ecole de Communication) pour deux années en section REP (Relations Publiques, Presse et Evénementiel) – J’ai bien sûr fait des stages – Sans oublier un super crédit étudiant qui coûte cher…

Mais cette année avec cette P… de crise économique, je pense avoir quelques difficultés pour trouver un emploi ! La bonne solution, être en alternance, un pied à l’école et un en entreprise. Encore faut-il trouver une entreprise. Mais bref – En gros je suis en attente d’une réponse (Et c’est tout) celle de Panthéon Assas… Le problème, c’est que dans ces cas là, l’attente se fait longue !! Tous les jours je me connecte sur le site et je regarde mon dossier où je lis “En attente de décision”

rrrrrr…

Grâce à une bourse du gouvernement français, je fais un master 2 en didactique des langues et TICE.

C’est une formation qui permet aux étudiants de se spécialiser dans l’enseignement des langues étrangères, y compris le français comme langue étrangere. La classe se compose d’étudiants de différentes nationalités, à savoir des Françaises, des Chinoises, des Grecques, une Allemande, une Brésilienne, une Néo-Zélandaise, une Hollandaise et un Sénégalais. Il y a en effet un seul garçon!

Premier cours de présentation des TICE et de leur utilisation dans le cadre du Master 2 Didactique des Langues et TICE à l’université Lyon II.

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).

Ce stage, dont la durée est à négocier, est prévu a priori pour le deuxième semestre 2008-2009 et sera rémunéré 800€ bruts/mois + primes et pourra déboucher sur un doctorat avec bourse CIFRE.

Compétences et parcours

Le candidat doit être étudiant de Master 2 (professionnel ou recherche) en Informatique et doit s’intéresser à la notion de machines virtuelles pour langages sûrs. De plus, le candidat devra avoir des connaissances dans au moins l’un des domaines suivants :

• machines virtuelles
• programmation fonctionnelle, si possible à l’aide de OCaml, F#, SML, Haskell, Scala ou un autre langage proche de ML
• systèmes d’exploitation
• modèles à base de messages
• compilation
• sémantique du parallélisme.

Le candidat doit avoir le droit de travailler en France et sera affecté principalement sur le site de R&D de MLState, au centre de Paris, avec des déplacements occasionnels à l’antenne de Bourges du Laboratoire d’Informatique Fondamentale d’Orléans. La tâche première du candidat concernera la définition et l’implantation d’un modèle d’exécution parallèle simple à base de canaux. L’objectif final de ce stage est le développement d’un mini-système d’exploitation/machine virtuelle certifié, totalement isolé du système d’exploitation principal et dédié à l’exécution de programmes écrits dans le langage développé par MLState.

Pour candidater

Pour candidater, nous vous invitons à envoyer un CV et une lettre de motivation, par courrier physique ou électronique, à Henri Binsztok et David Teller. Si possible, joignez un échantillon de vos travaux scientifiques ou/et techniques.

À propos de MLState

Fondée à Paris en 2007 par Henri Binsztok, enseignant aux Universités Paris 6 & 7, MLState développe un nouveau langage pour la création d’applications web. Ce langage, sur une base fonctionnelle à algèbre réduite, ouvre des perspectives nouvelles en termes de prouvabilité, calcul distribué et intégration aux bases de données. MLState a reçu, à ce titre, le Prix du Concours national d’aide à la création de technologies innovantes. À côté de développements pour des clients, MLState fournit un effort important de recherche pour enrichir son offre technologique intégrée.

À propos de SDS

L’équipe SDS du Laboratoire d’Informatique Fondamentale d’Orléans, basée à l’École Nationale Supérieure d’Ingénieurs de Bourges, mène des recherches sur la sécurisation des systèmes d’exploitation localisés et distristribués face aux intrusions et aux logiciels piégés ou bogués. En premier lieu, les travaux de l’équipe se concentrent sur la notion de politiques de sécurité, depuis l’extraction statique ou dynamique de ces politiques depuis les applications jusqu’à la vérification de haut niveau des propriétés effectivement garanties par les politiques ou la conception d’un langage de programmation pour le co-développement de logiciels et de politiques.

so..it’s wooaa nice to wake and not have anything to do, at least nothing boring like, take a guess, studying, it’s 1pm and we didn’t do anything yet…well we did laundry; which is a huge thing for the lazy girl I am !  it’s sooo sunny we planned on going to Paris, lay in a parc and have a pic nic (how do you spell that?) I gave myself a two days break before starting to stress and prepare my interview  for Cergy ’s Master 2… I got the letter yesterday, it’s  gonna be on wednesday 9th at 12h30, which I don’t think is a good timing cause they’ll be either hunry and consequently, grumpy  or willing to take a nap..anyhoo…

my presentation yesterday went…I wouldn’t say very good, cause they didn’t let me use my power point or do my speech, and of course had some critics, especially 1 or 2 that really made me doubt myself..but then again it wasn’t a total desastre either..guess i just need to wait and see, it’s just frustrating when you prepare something and don’t get to do it..

yesterday afternoon was really cool, I met älskling and Delph in Paris and we had lunch at St Michel (we are getting good at that , already been to 5 of the restaurants there), then we had AWESOME ice creams (RASPBERRY fo me thank you very much and walked around in the sun   ) 

woot woot today, France is taking over the European presidency…let’s see what Nico is gonna screw up first..  

ENJOY the SUN people !