Du coup, je lis l’article 11 et je m’interroge :

« Without prejudice to its law governing privilege, the protection of confidentiality of information sources, or the processing of personal data, each Party [= chaque pays] shall provide that, in civil judicial proceedings concerning the enforcement of intellectual property rights, its judicial authorities have the authority, upon a justified request of the right holder, to order the infringer or, in the alternative, the alleged infringer, to provide to the right holder or to the judicial authorities, at least for the purpose of collecting evidence, relevant information as provided for in its applicable laws and regulations that the infringer or alleged infringer possesses or controls. Such information may include information regarding any person involved in any aspect of the infringement or alleged infringement and regarding the means of production or the channels of distribution of the infringing or allegedly infringing goods or services, including the identification of third persons alleged to be involved in the production and distribution of such goods or services and of their channels of distribution. »

Ai-je bien compris que, pour pouvoir obéir à ce type d’injonction :

• une bibliothèque doit surveiller ses empruntants, pour pouvoir identifier ceux qui pourraient être impliqués dans de la photocopie de livres ?
• une université doit surveiller ses enseignants, pour pouvoir identifier ceux qui pourraient distribuer des polycopiés sans autorisation ?
• … ou un lycée, un collège, une maternelle ?
• … ainsi que les intervenants invités le temps d’un cours ou d’un séminaire ?
• … le tout sur simple soupçon ?

Ai-je mentionné qu’ACTA m’inquiète quelque peu ?

Comme tous les ans, Mozilla propose des stages en informatique, orientés Développement, R&D ou Recherche. Selon le sujet, le stage peut vous emmener à Paris, aux États-Unis, au Canada, en Chine…

À propos de Mozilla

La Fondation Mozilla est une association à but non-lucratif, fondée pour encourager un Internet ouvert, innovant et participatif. Vous avez probablement entendu parler de Mozilla Firefox, le navigateur open-source qui a réintroduit sur le web les standards ouverts et la sécurité, ou de Mozilla Thunderbird, le client de messagerie multi-plateforme, open-source et extensible. Les activités de Mozilla ne s’arrêtent pas à ces deux produits et se prolongent à de nombreux projets pour le présent et l’avenir, tels que :

• Boot-to-Gecko, système d’exploitation totalement ouvert et construit par la communauté, pour les téléphones portables, tablettes et autres machines communicantes ;

• SpiderMonkey, une famille de Machines Virtuelles conçues pour l’analyse statique et dynamique, la compilation et l’exécution des langages web, en particulier JavaScript ;

• DeHydra et JSHydra, outils d’analyse statique pour les langages C++ et JavaScript ;

• Rust, un nouveau langage de programmation conçu pour le développement d’applications système parallèles sûres ;

• WebAPI, un ensemble d’outils qui permettent d’étendre les capacités des applications web au-delà de celles des applications traditionnelles, la sécurité et la confidentialité en plus ;

• Gecko, le moteur de rendu extensible et portable pour le HTML, le XML et les interfaces graphiques, qui a permis Firefox, Thunderbird et de nombreuses autres applications ;

• BrowserID, une technique innovante qui fournit aux utilisateurs et aux développeurs les outils cryptographiques pour assurer l’identification sur le web, sans compromettre la vie privée, la simplicité ou la sécurité ;

• les fonctionnalités Mozilla Services de gestion d’identité par le Cloud ;

• et d’autres encore…

À propos de vous

Mozilla proposes plusieurs stages dans ses installations à travers le monde sur de nombreux sujets.

Votre profil :

• vous voulez faire du web un endroit meilleur, sur lequel chacun peut naviguer et contribuer en toute sécurité, sans avoir à craindre pour sa sécurité ou sa vie privée ;
• vous souhaitez prendre part à un projet utilisé par plus de 33% de la population du web ;
• vous voulez que votre travail soit utile à tous et visible par tous ;
• vous avez de fortes compétences en Algorithmique et en Informatique ;
• vous avez de fortes compétences dans au moins l’un des domaines suivants :
• systèmes d’exploitation ;
• réseaux ;
• géométrie algorithmique ;
• compilation ;
• cryptographie ;
• analyse statique ;
• langages de programmation ;
• extraire des informations pertinentes à partir de données exotiques ;
• algorithmique distribuée ;
• le web en tant que plate-forme ;
• interactions avec les communautés du logiciel libre ;
• toute autre compétence qui, à votre avis, pourrait nous servir.
• sur certains sujets, un excellent niveau d’Anglais peut être indispensable ;
• les stages sont généralement prévus pour des étudiants M1 ou M2 mais si vous arrivez à nous impressionner par vos réalisations ou par vos connaissances, le diplôme n’est pas indispensable.

Si vous vous reconnaissez, nous vous invitons à nous contacter. En fonction du sujet, les stages peuvent vous emmener à Paris, Mountain View, San Francisco, Toronto, Taipei, ou d’autres lieux à travers le monde.

Les meilleurs stagiaires peuvent espérer un contrat freelance, un CDI ou/et une bourse de doctorat.

Pour nous contacter

Pour toute question, contactez :

• pour tout ce qui concerne les stages chez Mozilla, Julie Deroche (à mozilla.com, jderoche) – Mozilla Mountain View, College Recruiting ;
• pour les stages à Paris, David Rajchenbach-Teller (à mozilla.com, dteller) – Mozilla Paris, Développeur / Chercheur.

Si vous êtes informaticien de haut niveau, inspiré et ingénieux, si vous êtes doté d’une forte culture informatique et scientifique, d’une grande connaissance des langages fonctionnels et impératifs, de la compilation, des systèmes de types, contactez-nous. Le candidat idéal, docteur ou non, avec ou sans expérience industrielle, aura aussi des connaissances en distribution, parallélisme, bases de données, sera capable d’évoluer dans un environnement polyglotte et disposera de la finesse nécessaire pour construire des produits finis.

Les problèmes à résoudre sont difficiles. Pour relever le défi, contactez-nous à careers@mlstate.com .

See you soon for the next release of OPA.

–

Merci pour toutes les (très bonnes) candidatures aux stages que nous avons proposé. Tous les stages ont été pris.

À bientôt pour la prochaine version d’OPA.

Plus sérieusement, voici quelques conseils qui pourraient servir à beaucoup de monde. Alors si vous cherchez un stage ou un emploi, n’hésitez pas à lire ce qui suit.

Cher candidat X,

Vous m’avez écrit pour présenter votre candidature à un stage/un emploi. Je ne vous cacherai pas que je risque fort de laisser votre candidature sans suite. Laissez-moi vous expliquer pourquoi, que vous puissiez réessayer, soit auprès de moi, soit ailleurs, avec un peu plus de chances de succès.

Le message que j’ai reçu n’était pas pour moi. Certes, il portait mon adresse et mon nom, mais il suffit de savoir lire pour comprendre que ce message a été copié-collé à la chaîne et envoyé au petit bonheur la chance à quelques dizaines d’employeurs potentiels, sans le moindre discernement. Soyons clair : pour le type de postes que vous cherchez, cette technique ne marche pas.

Elle ne marche pas, tout d’abord, parce que vous semblez ne pas comprendre que je n’ai a priori pas besoin de vous — en tout cas, certainement pas autant que vous avez besoin d’un stage ou d’un emploi. Rien qu’au cours des dernières semaines, j’ai reçu plusieurs dizaines de candidatures. Quelques-unes étaient très intéressantes. D’autres ont juste servi à me faire perdre du temps. Comme tous les employeurs potentiels, je commence donc par trier très rapidement, en regardant uniquement le mail qui accompagne le CV. Des fautes d’orthographe ? C’est mal parti. Un candidat dans un domaine qui n’a rien à voir avec le mien? Poubelle. Un candidat qui semble croire qu’il envoie un dossier à un laboratoire universitaire alors que je recrute pour une entreprise ? Poubelle. Un candidat qui ne précise pas dans quel domaine il se présente ? Sur le chemin de la poubelle. Un candidat qui met en avant des qualités qui n’ont rien à voir avec ce que je cherche ? Peut-être une réponse polie, si j’ai le temps, mais certainement pas un entretien d’embauche. C’est très rapide et c’est la meilleure méthode que je connaisse. Bien entendu, je pourrais certainement inviter tous ces candidats à venir, mais l’expérience montre que lorsqu’un candidat repêché de l’écrit vient à un entretien, il y échoue tout autant. Bilan : deux heures de perdues pour moi, un après-midi de perdu pour le candidat.

Alors que devez-vous faire pour passer la première épreuve ? Parce que, ne vous faites pas d’illusions, il s’agit bien d’une première épreuve, un écrit avant l’oral. Il faut que vous commenciez par me convaincre que lire votre CV n’est pas une perte de temps. Plus tard, votre CV devra me convaincre que vous inviter à un entretien n’est pas une perte de temps non plus, mais c’est de votre mail ou de votre lettre de motivation que je veux vous parler.

Tout d’abord, cette lettre doit être écrite pour moi. Il faut mon nom, bien entendu, mais il faut surtout que vous sachiez à qui vous vous adressez. Savez-vous quelle est ma fonction ? Savez-vous dans quelle entreprise/université/organisme je travaille ? Savez-vous dans quel département/composante/laboratoire ? Ces informations sont fondamentales. Si elles ne sont pas données dans l’offre d’emploi, utilisez votre imagination et les moyens modernes pour les trouver, car elles doivent figurer dans votre candidature, ne serait-ce qu’à l’étage des salutations. Sans cela, vous êtes étiqueté “perte de temps”, direction la poubelle.

Ensuite, cette lettre doit être écrite pour le poste proposé. Il faut me préciser à quel poste vous vous présentez — croyez-le ou non, la majeure partie des employeurs potentiels ont plusieurs postes à proposer. Si vous vous présentez à plusieurs postes d’un coup, pas de problème, mais précisez-le. Maintenant, savez-vous en quoi consiste le poste ? Quelles sont les qualités requises ? Quelle est l’expérience exigée ? Toutes ces informations sont données dans l’offre d’emploi, alors si vous n’en disposez pas, vous vous présentez comme un incompétent total, doublé d’une perte de temps. Si vous voulez vous écarter encore un peu de la poubelle, à vous de chercher les informations supplémentaires, celles qui n’apparaissent pas dans l’offre d’emploi mais — en filigrane — sur le site de l’employeur, ou sur les sites qui en parlent. L’employeur est une jeune entreprise ? Il lui faut certainement de l’esprit d’initiative et d’équipe. L’employeur est un laboratoire universitaire ? L’esprit d’initiative aussi, mais plus axé vers le travail indépendant et la recherche. L’employeur travaille sur un projet précis ? C’est le moment d’apprendre ce que vous pouvez sur ce projet, et de vous en servir pour mettre en valeur vos qualités.

Ensuite, cette lettre doit être individualisée. Oubliez les lettres modèles, je les ai déjà lues. Évitez les poncifs et les banalités, elles noient le contenu et vous rapprochent de la poubelle. Vous êtes dynamique ? Ben voyons. Vous avez des solides connaissances et du savoir-faire ? J’espère bien, pas la peine de le préciser, à moins que ce soit dans un domaine surprenant — “solides connaissances en informatique” : non ; “solides connaissances en programmation noyau OpenBSD” : oui. Vous souhaitez rejoindre une équipe dynamique ? À vôtre âge, le contraire serait inquiétant, alors ne gaspillez pas mon temps à me faire lire cette phrase, à moins que vous ayez une raison particulière de croire que mon équipe sera plus dynamique qu’une autre. Au lieu de cela, creusez-vous la tête pour trouver des choses intéressantes à m’écrire. Vous avez déjà une expérience dans le domaine ? Bien. Vous avez lu un ou plusieurs articles sur le sujet sur lequel je travaille ? Bien. Sur mon laboratoire/entreprise ? Pourquoi pas. Vous n’avez aucune expérience sur le domaine mais vous considérez que le domaine est important pour une raison X ou Y ? Pas mal non plus. Bien entendu, ne mentez pas. Si le domaine ne vous intéresse pas, ça se verra à l’oral, alors ne nous faites pas perdre notre temps. Vous avez des projets derrière vous, en particulier des projets réalisés entièrement à votre initiative, même dans d’autres domaines ? Je suis curieux d’avance, alors parlez-m’en brièvement, et joignez-moi un lien, parce que c’est une très bonne manière de sortir du lot et de me convaincre que vous êtes quelqu’un d’intéressant. Et vos notes, vous avez des bonnes notes ? Touchez m’en un mot rapide, ce n’est pas mon critère principal mais c’est toujours un bon point – rappelons que les notes servent durant vos études, pour vous permettre d’évaluer vos propres progrès et pour garantir un niveau minimal à certains caps, mais pas dans le monde du travail.

Enfin, et j’aimerais bien ne pas avoir à le préciser, soignez la présentation. L’orthographe est indispensable, bien entendu — ne croyez pas que le correcteur de Word ou de Safari vous sauvera de la faute, il ne reconnaît que les erreurs les plus évidentes, les seules qu’on pourrait vous pardonner en les attribuant à de l’inattention. La syntaxe est tout aussi indispensable, et là, aucun logiciel ne pourra vous aider. L’orthographe ou la syntaxe de votre lettre de motivation sont incorrectes ? Vous êtes probablement déjà à la poubelle. Employez le vocabulaire de la personne qui demande un service ou, si votre parcours le permet, de la personne qui en propose un, mais jamais celui de la personne qui demande ou exige — bannissez-donc les formules telles que “je veux” ou “je demande”. Et n’oubliez pas de présenter vos salutations au début et à la fin — de nos jours, “cordialement” commence à être accepté dans les mails mais n’allez surtout pas employer une formule encore plus familière.

Et puis faites court, pas comme moi.

Alors bon courage pour votre prochaine candidature. J’espère que vous trouverez le stage ou le travail que vous cherchez. Et pour ce faire, commencez par travailler votre mail ou votre lettre de motivation.

Comme beaucoup d’entre vous le savent, une année de lutte entière — dont la grève universitaire la plus importante depuis le XIIIeme siècle, pardonnez du peu — n’a servi à rien. Quelques belles paroles et le rouleau compresseur a repris, sans négociations, sans compromis et sans respecter la moindre promesse.

Il est encore temps, peut-être, de sauver quelques meubles. C’est en tout cas ce que pense la Coordination Nationale pour la Formation des Enseignants, qui vient de lancer une pétition. Cette pétition rassemblent les signatures de tous ceux qui estiment que la France doit continuer à former la formation des enseignants — rappelons que cette formation est presque abolie à partir de cette année. Si vous avez des enfants, si vous comptez en avoir ou si vous pensez que les enfants des autres doivent avoir des professeurs formés, je vous suggère de la signer. Je viens de le faire moi-même.

Selon ce décret, pour se présenter aux concours d’enseignement et espérer ainsi devenir professeur certifié (CAPES), agrégé (interne ou externe), un candidat doit d’abord détenir le Master 2.

C’est tout ? C’est tout. Mais résumons quelques conséquences directes :

• Un étudiant souhaitant devenir professeur doit commencer par étudier jusqu’à l’âge théorique minimal de 23 ans (selon mon estimation, ce sera plutôt 24 ou 25 ans en pratique) avant de se présenter pour la première fois à un concours qui pourra lui donner la possibilité d’obtenir un poste de professeur. Comme ces concours sont très concurrentiels, il n’est pas rare de devoir s’y présenter trois fois. Comptons donc 26 ou 27 ans avant de décrocher un premier travail, pour ceux qui s’accrochent jusque-là. Comptons donc aussi 26 ou 27 ans avant une première expérience professionnelle d’enseignement, puisque le gouvernement a en pratique supprimé les stages d’enseignement depuis cette année.
• En plus de beaucoup de patience, ce même étudiant aura besoin d’une sérieuse source de revenus pour arriver à ce niveau. Rappelons que le gouvernement a supprimé les stages rémunérés d’enseignement, tout en diminuant le nombre de bourses. À supposer qu’il reste des professeurs, leur mixité sociale risque d’en pâtir.
• Rappelons que, depuis les réformes récentes, un Master enseignement ne peut mener qu’à l’enseignement. En particulier, toutes les compétences liées à la Recherche ont été supprimées. Rappelons d’ailleurs que les susdites réformes ont aussi supprimé une bonne partie des compétences pédagogiques (un professeur d’anglais n’a effectivement plus besoin de savoir parler anglais). Un étudiant qui échoue à ses concours à l’âge de 28 ans n’aura aucune expérience professionnelle, aucune compétence valorisable, aucun diplôme porteur, et aucune perspective.
• Les étudiants souhaitant ouvrir un peu leurs horizons et leurs débouchés professionnels commencer par obtenir un master autre, avant de préparer un master d’enseignement. Ils ont maintenant 30 ans avant de se présenter aux concours.
• Les professeurs certifiés actuellement en exercice, qui sont généralement à un équivalent Maîtrise/Master 1, n’ont tout bonnement plus le droit de passer l’agrégation interne.
• Les étudiants embauchés par les rectorats pour remplacer les professeurs, et qui enseignent depuis l’année dernière à plein temps, qui sont généralement au niveau Licence 2, ne pourront donc plus passer les concours d’enseignement non plus.

En toute simplicité, nous venons d’assister, d’un trait de plume supplémentaire, à l’enterrement du métier de professeur. Pour remplacer les professeurs, le gouvernement a commencé dès l’année dernière à employer des étudiants sans formation, système qui est appelé à se généraliser.

Vous savez qui remercier.

Sujet : Bases de données

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Si la fiabilité du stockage lui-même, est un problème largement étudié, la fiabilité des entrées-sorties soulève de nombreuses questions qui restent à explorer. En particulier, que faut-il faire si des données manquent, si le format des données a changé, si les données ont été (re)réparties selon des critères différents des critères attendus.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur les questions d’interaction entre stockage et application web, notamment les notions de partage de données entre applications web et de mise-à-jour du format des données.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml et en OPA.

Sujet : Interaction entre bases de données relationnelles et bases de données structurées

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Le paradigme de stockage employé par la majorité des applications à ce jour est une extension du modèle relationnel, au sens où les informations sont stockées dans des tables (ou “relations”), tables prévues pour être manipulées par un être humain et liées par des clés explicites. À l’inverse, un autre paradigme de bases de données, parfois appelé “structuré”, “algébrique” ou “objet”, stocke les informations sous la forme de structures de données, prévues pour être manipulées par un programme et liées par des références implicites.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur l’unification des modèles relationnels et structurés. En particulier, l’étudiant devra concevoir et implanter des techniques permettant d’exploiter des bases de données relationnelles et des données préexistantes dans le cadre d’un paradigme structuré, ainsi que de porter au modèle structuré les outils de consultation traditionnellement exploités dans le modèle relationnel.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml, en OPA et dans divers dialectes de SQL.

Merci pour toutes les (très bonnes) candidatures aux stages que nous avons proposé. Tous les stages ont été pris.

À bientôt pour la prochaine version d’OPA.

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.

Sujet : Bases de données

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Si la fiabilité du stockage lui-même, est un problème largement étudié, la fiabilité des entrées-sorties soulève de nombreuses questions qui restent à explorer. En particulier, que faut-il faire si des données manquent, si le format des données a changé, si les données ont été (re)réparties selon des critères différents des critères attendus.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur les questions d’interaction entre stockage et application web, notamment les notions de partage de données entre applications web et de mise-à-jour du format des données.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml et en OPA.

Sujet : Interaction entre bases de données relationnelles et bases de données structurées

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Le paradigme de stockage employé par la majorité des applications à ce jour est une extension du modèle relationnel, au sens où les informations sont stockées dans des tables (ou “relations”), tables prévues pour être manipulées par un être humain et liées par des clés explicites. À l’inverse, un autre paradigme de bases de données, parfois appelé “structuré”, “algébrique” ou “objet”, stocke les informations sous la forme de structures de données, prévues pour être manipulées par un programme et liées par des références implicites.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur l’unification des modèles relationnels et structurés. En particulier, l’étudiant devra concevoir et implanter des techniques permettant d’exploiter des bases de données relationnelles et des données préexistantes dans le cadre d’un paradigme structuré, ainsi que de porter au modèle structuré les outils de consultation traditionnellement exploités dans le modèle relationnel.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml, en OPA et dans divers dialectes de SQL.

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 …

Il y a quelques jours, François Fillon s’est exprimé sur France Inter, l’évènement est suffisamment rare pour être noté. C’est que Monsieur le Premier Ministre avait bien des choses à dire, en particulier sur la réforme des universités, du primaire et du secondaire publics. Malheureusement, là où l’on aurait pu espérer un brin de sérieux de la part d’un homme politique qui a la réputation de ne jamais parler pour ne rien dire, nous n’avons eu droit qu’à une nouvelle répétition des platitudes de Valérie Pécresse. Mais il faut tout de même saluer le courage de François Fillon, qui n’a pas hésité un seul instant avant de décrire la “concertation” et les mesures qui viennent de passer en décret d’application, “parfaitement conforme[s] aux aspirations des universitaires”. En guise de concertation, rappelons que le gouvernement a de nombreuses fois refusé de rencontrer les représentants syndicaux, les représentants des associations de chercheurs, d’enseignants-chercheurs, de précaires de l’université, etc. Rappelons aussi que seuls deux des 35 représentants syndicaux — ceux de deux syndicats parmi les plus petits — se sont exprimées en faveur des propositions du gouvernement. Rappelons de même que 76 des 83 universités françaises bloquent la réforme du primaire et du secondaire à force de désobéissance civile. Rappelons toujours les 100.000 manifestants, il y a quelques semaines, et la grève des universités, qui entre dans sa 12ème semaine.

Le gouvernement a décidément une définition particulière de “concertation” et d’”aspirations”, et ce d’autant plus que les décrets qui viennent de passer ne sont pas les mêmes que ceux qui avaient été donnés à lire aux universitaires.  Rien de surprenant de la part d’un gouvernement qui appelle “autonomie” une bureaucratie aussi rigide que complexe et qui donne la part belle aux pleins pouvoirs, “faire confiance aux universités” le déluge impressionnant de directives ministérielles qui ne cesse de tomber depuis des mois, “organisme indépendant” une agence dont tous les membres sont nommés par le ministre, etc.

Pour ceux qui ne sont pas encore au courant, quatre décrets d’application et trois arrêtés ont été publiés cette semaine  sans affichage préalable des textes. Parmi les décrets, citons-en deux qui sont au cœur du mouvement de contestation universitaire :

• le nouveau statut des enseignants-chercheurs, dans un texte qui ne reprend aucune des trois versions préalables présentées par le gouvernement, et qui réintroduit notamment la possibilité d’infliger à tout enseignant-chercheur jusqu’à 1607 heures supplémentaires non-payées, que ce soit pour faire des économies ou pour lui faire payer un engagement politique ou des recherches qui fâchent ;
• la réforme du statut des doctorants, qui semble notamment supprimer le monitorat et les allocations couplées (il faut que je vérifie plus en détails) et permettre de confier absolument n’importe quelle tâche supplémentaire aux doctorants, en plus de la Recherche.

Au passage, l’État Français vient d’accorder aux établissements appartenant au Vatican la possibilité de délivrer des diplômes, y compris, semble-t-il, les futurs master enseignement qui remplaceront le CAPES, l’Agrégation et le concours de Professeur des Écoles, le tout financé par les deniers publics.

Voici des mois, voire des années, que la communauté universitaire s’élève contre ces réformes mais aussi contre la méthode du gouvernement, qui vote les lois pendant les vacances et sans les annoncer, prépare leur application à coups de statistiques fausses et de contre-vérités, et tente de faire taire la contestation à coups de propagande, d’intimidations administratives et d’interventions policières. À présent, le gouvernement prétend que les universitaires sont pour la plupart d’accord avec ces mesures, depuis la suppression de l’indépendance de la recherche jusqu’à la liquidation du primaire et du secondaire public. Si vous êtes un universitaire et si vous souhaitez prendre la parole pour contester cette soi-disant unanimité, un groupe de cinq pétitions a été ouvert, chacune sur un des points contestés — à toutes signer, donc. En moins de 24h, la première de ces pétitions a récolté près de 700 signatures, à comparer aux 327 signatures récoltées en plus d’un an par la pétition opposée.

Et qui que vous soyez, rendez-vous est pris le 28 avril, dans les rues de France, pour manifester le mécontentement de la société française face à la liquidation de l’enseignement public, de la recherche et de l’hôpital.

]]> http://dutherenverseauborddelatable.wordpress.com/2009/04/25/les-decrets-sont-parus/feed/ 0 yoric