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.

Big Fish Audio vient de sortir une banque de samples de percussions sortant des sentiers battus : Found Percussion.

Grosso modo, cette banque de son obéit à un précepte : tous les objets qui nous entourent produisent du son… résultat, des percussions foutraques digne d’un Tom Waits avec des sons de bouteilles de vins, de canettes de sodas, de cd, vinyles, musique ventilateurs, d’ustensiles de cuisines, etc… Si vous cherchez à donner une autre patine à vos parties rythmiques il se pourrait bien que cette banque soit pour vous !

Found Percussion est disponibles pour la k7 audio somme de 99.95$. A noter la présence d’exemples sonores sur le site de l’éditeur afin de pouvoir vous faire une idée des possibilités de la bête.

Problèmes

1. Ça fait déjà quelques jours que la dernière version de WAMP (2.0) est d’une lenteur “administrative” sur mon tout-nouvellement-acquis-super-puissant-ordinateur roulant sur Windows Vista Business.
2. Tous les services du Wamp ne démarrent pas.

Après diverses manipulations, voilà ce que j’ai trouvé :

Solutions

• ZoneAlarm : Désinstallez le ou apprenez à le configurer (j’y suis pas arrivé) et la vitesse reviendra. Je l’aime pourtant bien ce firewall, mais je n’ai pas de patience. Je suis derrière le firewall de mon router + celui de Windows, je crois que ça suffit.
• Avast : Il installe pleins de services (Web, Mail, Spyware…) en plus de l’antivirus. Farfouillez dans les options et désactivez ceux qui ne vous conviennent pas.
• Administrateur : Apparement, Wamp doit s’exécuter par l’administrateur. Il faut donc cliquez avec le bouton droit et choisir Exécuter en tant qu’administrateur. Sinon, cliquez droit sur le raccourci ou sur l’exécutable wampmanager.exe (dans le répertoire de Wamp), et aller dans Propriétés/Compatibilité et cochez la case tout en bas : Exécuter ce programme en tant qu’administrateur.
  Une autre méthode consiste à télécharger le Windows Compatibility Toolkit, d’y créer un fichier sdb qui permet d’exécuter un programme en précisant une série d’options et de l’installer sur son Windows. Suivre ce lien pour l’article sur le site de Microsoft.

En savoir plus sur ma config ?

A bientôt !

Phoenix JP
Portail vers les sites d’actualité ou de news informatique.

Zebulon

Trucs et astuces pour optimiser Windows et booster votre PC, l’actualité et généralités

New Dimension FR
Communauté informatique & actualités informatiques sur les logiciels et le matériel. Vous y trouverez des news, des articles, des tests, des astuces, entraide,des téléchargements… et un forum informatique !

Linux Center
Le projet Linux Center est un index thématique de pages Web consacrées au système d’exploitation Linux,à ses applications et plus généralement au logiciel libre.

http://www.freebsd-fr.org/

 FreeBSD ® est un système d’exploitation avancé pour compatibles x86 (y compris Pentium ® et Athlon ™), compatibles AMD64 (y compris Opteron ™, Athlon ™ 64, et EM64T), UltraSPARC ®, IA – 64, PC – 98 et ARM. It is derived from BSD, the version of UNIX® developed at the University of California, Berkeley. Il est dérivé de BSD, la version d’UNIX ® développé à l’Université de Californie, Berkeley. It is developed and maintained by a large team of individuals . Il est développé et maintenu par une importante équipe de personnes. Additional platforms are in various stages of development. Autres plates-formes sont à divers stades de développement.