vignette made in france
192 Visiteurs connectés

CV de Développement Erlang / Developpement, stage, web, réseau, système, administration, JAVA, J2EE,, cherche un emploi de Développeur, stage / informatique.enligne-fr.com

informatique.enligne-fr.com : cv

Actuellement étudiant en dernière année de Master Ingénierie des Algorithmes et des Programmes à l'Université Denis Diderot, je suis à la recherche d'un stage de fin d'étude pour une période de six mois, à partir d'avril 2017.

Code CV : 586d5bf57d1b1d27
Date de dernière connexion : 2017-01-04

Monsieur Er... U...
....
75011 Paris 11
France




Situation actuelle:
Secteur d'activité actuel : Informatique
Taille de l'entreprise : 1 à 5 salariés
Fonction actuelle : Développement Erlang
Nombre d'années à ce poste : Débutant(e)
Nombre de personnes sous mes ordres : 0
Salaire annuel : 7200.00 EUR
Expérience Totale : Débutant(e)
Disponibilité : Disponibilité immédiate

Poste recherché:
Fonctions: developpement, stage, web, réseau, système, administration, JAVA, J2EE,, ,
Secteur d'activité: Informatique, Web, Développement

Type de contrat souhaité: CDI, CDD, CDD Intermittent, Interim, Agent
Temps de travail souhaité: Temps plein, Temps partiel, En alternance, Journalier, Saisonnier, Travail le WE
Salaire Annuel Minimum / Souhaité: 10000.00 / 15000.00 EUR

Etudes :
Dernier niveau d'etudes validé avec diplome : Bac+5
Dernier diplome : Master Ingénierie des Algorithmes et des Programmes
Niveau d'études actuel : Bac+5
Autres Formations :


Mobilité :
nc

Outils / Logiciels / Méthodes maitrisés
JAVA, C, Python, Haskell, Erlang, OCaml, Bash, SCADE, Lisp HTML, CSS, PHP, JavaScript, DJango, NodeJS, MySQL, PostgreSQL, Coq, Dedukti, Git, SVN, Emacs, Eclipse, NetBeans, ArchLinux, Ubuntu, Windows, MacOS

Permis VL, PL, véhicules spéciaux


Langues
Français : Langue maternelle
Anglais : Intermédiaire


CV :

Monsieur Er... U
75011 Paris 11
France


PROFILEtudiant en dernière année de Master Ingénierie des Algorithmes et des Programmes (mention Information et Mobilité) avec une spécialisation centrée sur l’algorithmique et la vérification de programme

Langues : Anglais (bon niveau), Français (langue maternelle)
S Pratique régulière de la musculation, vélo, athlétisme, danse
Lecture : papiers scientifiques en rapport avec les preuves formelles, la théorie des languages et le lambda calcul


EXPERIENCE
- Société Semiocast (Juillet-Septembre 2016)
Stage de developpement Erlang

Réalisation d’un algorithme permettant la génération d’une fonction de documentation à partir des
regles de typage des modules de lancement de tache pour l’extraction massive de données
Réalisation d’une interface (formulaire) client utlisant les données de la fonction de documentation généré pour le lancement des taches
Realisation d’un langage (baptisé Beaver) génerant un model pour l’extraction des données d’une page web (lexer parser et interpreter)
Realisation d’un plugin javascript pour la coloration syntaxique du langage Beaver
Réalisation d’un algorithme génétique pour générer un chemin xpath général pour l’extraction des sections des forums (à partir d’une base d’apprentissage de 1000 forums)

- Université Denis Diderot (Février-Avril 2016)
Tutorat en Informatique

Cours pour les premières et deuxièmes années d’étudiant en informatique mathématiques et physique

- INRIA (Aout-Septembre 2015)
Stage de recherche, développement OCaml

Stage de recherche au sein de l’equipe Deducteam sous la direction de Gille Dowek
Lectures d’articles scientifiques sur l’algorithme d’Unification modulo Associativité et Commutativité
Réalisation d’un module qui réalise l’unification modulo ACU en langage OCaml
Compréhension du noyau de l’assistant de preuve Dedukti
Intégration du module pour l’unification modulo ACU au noyau de Dedukti

- Institut de Mathematiques de Jussieu-Paris Rive Gauche (Juin-Juillet 2015)
Stage de recherche en cryptographie

Réalisation d’un oracle permettant de determiner si un entier est un résidu quadratique
Utilisation de cet oracle pour réaliser un programme calculant le nombre de facteurs premiers distincts d’un entier quelconques
Lectures d’articles scientifiques sur les différents algorithmes de factorisation
Réalisation de benchs sur les différents algorithmes de factorisation avec l’hypothèse que l’on connait le nombre de facteurs premiers distincts


FORMATION
2015/2017:Master - Ingénierie informatique, Université Denis Diderot
2012/2015: Licence - Informatique général mention très bien Université Denis Diderot
2011/2012:Licence 1 - MASS Géographie, Université Denis Diderot
2011:
Terminal ES, Baccalauréat économique et sociale Lycée Maurice Ravel


COMPÉTENCELangage de programmation: JAVA, C, Python, OCaml, Erlang, Bash, Lisp
Langage web: HTML, CSS, JavaScript, PHP, NodeJS
Framework web: Django, Bootstrap, Ace (editeur de code pour le web)
Base de donnée: MySQL, PostgreSQL
Système d’exploitation: Linux, FreeBSD, Windows, MacOS
Assistant de preuve: Coq, Dedukti
Environnement de developpement: Eclipse, Emacs, Vim, NetBeans

Projet:
— Modélisation d’un trafic routier (JAVA),
— Réalisation d’un site web (HTML/CSS),
— Implémentation d’un structure d’automate fini pour le traitement des langages rationnels (JAVA),
— Recodage de la commande tar (C),
— Logiciel de compression de donnée basé sur l’algorithme de Huffman (OCaml),
— Logiciel de calcul formel (OCaml)
— Compilateur pour un langage fonctionnel de haut niveau, avec pattern matching, typage fort et
fonction de premier ordre vers le langage assembleur mips32


Lettre de candidature

Monsieur Er... U
75011 Paris 11
France

Actuellement étudiant en dernière année de Master Ingénierie des Algorithmes et des Programmes à l'Université Denis Diderot, je suis à la recherche d'un stage de fin d'étude pour une période de six mois, à partir d'avril 2017.


Madame, Monsieur,

Actuellement étudiant en dernière année de Master Ingénierie des Algorithmes et des Programmes à l'Université Denis Diderot à Paris, en France. Je suis à la recherche d'un stage de fin d'étude à partir d'avril 2017, pour une période de six mois.

Comme indiqué sur mon Curriculum Vitae, je suis titulaire d'une licence informatique générale. Celle-ci m'a permise d'acquerir de solide base en informatique théorique notamment en algorithmique, logique et en raisonnement mathématiques, ainsi qu'en programmation sous différents paradigmes : l'orienté objet (JAVA), le fonctionnel (OCaml) ou encore la programmation temps-réel (SCADE). Au cours de mon cursus, j'ai également effectué deux stages de recherche : le premier dans un laboratoire de mathématiques où le sujet portait sur la problématique de factorisation d'entier, le second dans un laboratoire de preuve au sein de l'INRIA nommé Deducteam où j'ai patricipé à l'élaboration d'un assistant de preuve appelé Dedukti. L'objectif de ce stage fut d'ajouter au noyau du logiciel un module permettant d'intégrer un symbole à la fois associatif et commutatif simplifiant l'unification des termes. Ces stages mon permis d'acquérir une certaine rigueur dans ma méthode de programmation, de voir sous un nouvel ongle les applications de la programmation fonctionnel et de la vérification de programme, mais essentiellement d'avoir un point d'ancrage dans le secteur de la recherche informatique. A l'issu de ces experiences, je reussi à definir mes perspectives, je decide donc de poursuivre un master orienté vérification (preuves formelles et model checking), compilation et étude des paradigmes fonctionnelles, mais aussi consacré à la programmation système, informatique embarqué, architectures unix, et systèmes temps-réels. Par la suite, j'ai effectué un stage au sein de la société Semiocast qui est une start-up réalisant des études d'opinions. Tout au lent de cette expérience, je me suis consacré à la plateforme de big data, j'ai notamment réalisé un langage pour l'extraction de donnée, corrigé des bugs, et aussi, expermimentalement, implémenté un module permettant d'extraire de manière générique les données d'un forum par un algorithme génétique. Grace à ce stage, je developpe de nouvelles competences ainsi qu'un sens des responsabilité tout en decouvrant la culture d'entreprise. Enfin, j'ai bien evidemment réalisé un certains nombres de projets au seins de mon établissement qui m'ont essentiellement appris le travail en groupe et la gestion d'un projet sur un temps impartis.

Effectuer un stage au sein de votre société serai une experience enrichissante tant sur le plan professionnel qu'intellectuel. Ce stage me permettra d'apprendre plus sur le web et le développement d'app tout en concrétisant mon projet professionnel. Réaliser un tel stage me permettrai de mettre en oeuvre mes compétences aquises tout au long de mon cursus et de mes multiples stages, notamment une capacité à suivre un rythme de travail soutenu et d'etre toujours en quete d'efficacité et de perfectionnement.

Sollicitant votre bienveillance, je vous prie, d’agréer, madames, monsieurs, mes salutations les plus distinguées.

Cordialement.

Monsieur Er... U...


vignette pdfCliquez ici pour récupérer ce CV au format PDF
(Anonyme)

Commandez ce CV en ligne.

Commandez ce CV en ligne.
(1 cv seul)