demandeInscription/synthese.tex

   1 \documentclass[a4paper,french,11pt]{article}
   2 %\usepackage{hyperlatex}
   3 \usepackage[utf8]{inputenc}
   4 \usepackage[T1]{fontenc}
   5 \usepackage{lmodern}
   6 \usepackage{amsmath}
   7 \usepackage{amsfonts}
   8 \usepackage{amssymb}
   9 \usepackage{framed}
  10 \usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
  11 \usepackage[dvips]{graphics}
  12 \usepackage{epsfig}
  13 \usepackage{epsfig,psfrag}
  14 \usepackage{subfigure}
  15 \usepackage{color}
  16 \usepackage{calc}
  17 \usepackage{url}
  18 \usepackage{longtable}
  19 \usepackage{tabls}
  20 \usepackage{textcomp}
  21 %\usepackage{slashbox}
  22 \usepackage{gastex}
  23 \usepackage{pst-all}
  24 %\input{format.sty}
  25 \usepackage[frenchb]{babel}
  26 \usepackage[a4paper]{geometry}
  27 \input{symboles.sty}
  28
  29
  30 \geometry{hmargin=1cm, vmargin=1.5cm }
  31
  32
  33 \newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}
  34
  35 %
  36 %\lstset{% general command to set parameter(s)
  37 %basicstyle=\small,          % print whole listing small
  38 %keywordstyle=\color{black}\bfseries\underbar,
  39                                 % underlined bold black keywords
  40 %identifierstyle=,           % nothing happens
  41 %commentstyle=\color{white}, % white comments
  42 %stringstyle=\ttfamily,      % typewriter type for strings
  43 %extendedchars = true,
  44 %showstringspaces=false}     % no special string spaces
  45
  46
  47
  48 \usepackage{hyperref}
  49 \pdfcompresslevel=9
  50 \hypersetup{
  51      %backref=true,    %permet d'ajouter des liens dans...
  52      %pagebackref=true,%...les bibliographies
  53      %hyperindex=true, %ajoute des liens dans les index.
  54      colorlinks=true, %colorise les liens
  55      breaklinks=true, %permet le retour Ã  la ligne dans les liens trop longs
  56      urlcolor= blue, %couleur des hyperliens
  57      linkcolor= blue, %couleur des liens internes
  58      %bookmarks=true, %créé des signets pour Acrobat
  59      bookmarksopen=true,            %si les signets Acrobat sont créés,
  60                                     %les afficher complÃštement.
  61      pdftitle={Cours d'algèbre et de géométrie}, %informations apparaissant dans
  62      pdfauthor={Jean-Fran\c{c}ois Couchot, Christophe Guyeux},     %dans les informations du document
  63      pdfsubject={Algèbre et géométrie}          %sous Acrobat.
  64 }
  65
  66
  67
  68
  69 \makeindex
  70
  71 \newcommand{\inputladot}[2]{
  72 \input{#1.dot.tex}
  73 \includegraphics[width=#2]{#1.dot.ps}
  74 }
  75
  76 \setcounter{secnumdepth}{4}
  77
  78 \renewcommand{\thesection}{\Roman{section}}
  79 %\renewcommand{\thesubsection}{~~~~\arabic{subsection}}
  80 %\renewcommand{\theparagraph}{~~~~~~~~\arabic{paragraph}}
  81
  82 \begin{document}
  83
  84
  85 \title{Mémoire de synthèse des activités de recherche et d'encadrement.}
  86 \author{Jean-Fran\c{c}ois {\sc Couchot}}
  87
  88
  89 %\lstset{language=C}
  90 \maketitle
  91
  92 \section{Curriculum vit{\ae} (1 page).}
  93
  94
  95 \subsection{Contacts}
  96 \begin{itemize}
  97 \item \textbf{web~:} \url{http://members.femto-st.fr/jf-couchot/}
  98 \item \textbf{courrier~:}
  99 \begin{minipage}[t]{10cm} FEMTO-ST, dpt DISC, IUT BM, 19 rue du maréchal Juin,  90000 Belfort
 100 \end{minipage}
 101 \item \textbf{mail~:} \url{couchot@femto-st.fr}
 102 \item\textbf {tel~:}       (+33) (0)3 84 58 77 38
 103 \item\textbf {gsm~:} (+33) (0)6 76 06 68 94
 104 \end{itemize}
 105
 106 \subsection{Diplômes universitaires}
 107 \begin{itemize}
 108 \item{\bf{91~:}} Baccalauréat série C mention AB, Besançon.
 109 \item{\bf{95~:}} Maîtrise de mathématiques pures, Université de
 110   Franche-Comté (UFC).
 111 \item{\bf{96~:}}
 112 CAPES de mathématiques, IUFM d'Auvergne.
 113 \item{\bf{02~:}}
 114 Maîtrise d'informatique, mention B (UFC).
 115 \item{\bf{02~:}}
 116  DEA Informatique, option {\em Génie Logiciel} (UFC). Stage intitulé {\em Atteignabilité d'états et spécifications
 117 logico-ensemblistes}. Major de Promotion, mention TB.
 118 \item{\bf{avril 06~:}}
 119  Doctorat en  informatique au Laboratoire d'Informatique
 120 de l'Université de Franche Comté (LIFC EA 4269),
 121 sur la {\em vérification d'invariants par superposition},
 122 mention très honorable.
 123 \end{itemize}
 124
 125
 126 \subsection{Fonctions et expériences professionnelles}
 127 \begin{itemize}
 128 \item{\bf{95-00~:}} Enseignant en mathématiques dans le secondaire,
 129   successivement à Aurillac(15), Beaune(21), Belfort(90) et
 130   Montbéliard(25).
 131 \item{\bf{sept. 00-06~:}} PrCe $71^{eme}$ section, Unité de Formation
 132   et de Recherche (UFR) Sciences du
 133   Langage de l'Homme et de la Société (SLHS) à l'UFC.
 134 \item{\bf{sept. 06-07~:}} Post-doctorant INRIA (projet ProVal) sur le
 135   thème de l'intégration de preuves interactives dans des preuves
 136   automatiques (et vice-versa). %pour la vérification de programmes C embarqués.
 137 \item{\bf{sept. 07-08~:}} PrCe $71^{eme}$ section, UFR SLHS à l'UFC.
 138 \item{\bf{sept. 08-\ldots~:}} Maître de Conférences $27^{eme}$ section, IUT de Belfort-Montbéliard, dpt. informatique (UFC).
 139 \item{\bf{sept. 10-14\ldots~:}} \'Elu au Conseil d'Institut de l'IUT de Belfort-Montbéliard.
 140  \end{itemize}
 141
 142
 143 \section{Nom et type de l'équipe de recherche (1 page).}
 144
 145 Je suis membre de l'équipe Algorithmique Numérique Distribuée (AND) du
 146 Département d'Informatique des Systèmes Complexes (DISC)
 147 du laboratoire FEMTO-ST.
 148 Je relève de l'école doctorale 37 Sciences Pour l'Ingénieur et Microtechniques (SPIM) de l'UFC.
 149
 150 L'avis du directeur de l'équipe et du directeur de l'école doctorale sont
 151 annexés à cette synthèse.
 152 \JFC{joindre l'avis de Raphale, d'Olga de Nicolas et de PH. Lutz}
 153
 154
 155 \newpage
 156 \section{Résumé (1 page)} de la thématique de la thèse d'université (ou d'Etat le cas échéant)
 157 et liste des publications auxquelles elle a donné lieu ;
 158
 159 \newpage
 160 \section{Exposé des recherches réalisées au cours de la période postdoctorale (5 pages maximum)}
 161
 162 (ou post-DEA pour les candidats autorisés à présenter leur demande sans
 163 thèse), en identifiant les grandes thématiques de recherche, la démarche suivie et les
 164 retombées en terme de publications et/ou de brevets ;
 165
 166 \newpage
 167 \section{Perspectives de recherche (1 à 2 pages maximum)}
 168
 169 \newpage
 170 \section{Insertion dans l'équipe de recherche (3 pages maximum).}
 171 Rôle personnel joué dans l'animation de la recherche au
 172 sein de cette (ces) équipe(s), sa gestion administrative et financière. Obtention et
 173 gestion de contrats de recherche. Collaborations internationales et insertion dans un
 174 réseau international. Organisation de manifestations scientifiques (colloques,
 175 congrès, diffusion des résultats de la recherche en direction du public…) ;
 176
 177 \newpage
 178 \section{Encadrement et co-encadrement d'étudiants (1 page)} (maîtrise, DEA, thèses d'Université,
 179 stages d'ingénieurs…) pour des activités de recherche en indiquant de manière
 180 explicite la part d’encadrement assurée par le candidat à l’HDR  ;
 181
 182 \newpage
 183 \section{Participation éventuelle à des tâches administratives d'intérêt collectif (1 à 2 pages)},
 184 à l'activité d'enseignement, ou expérience en entreprise ;
 185
 186
 187 \newpage
 188 \section{Liste des publications}
 189 selon le plan suivant : Internationales avec comité de
 190 lecture ; Nationales avec comité de lecture ; Didactiques et non référencées ;
 191 Chapitres de livres et documents multi-médias ; Compte-rendu de colloques (avec
 192 sélection sur résumés puis sans sélection sur résumés) ;
 193 \newpage
 194 \section{Liste des communications}
 195  selon le plan suivant : Conférences sur invitation
 196 personnelle ; Communication à des colloques, avec sélection sur résumés ;
 197 Internationaux ; Nationaux ; Communications diverses.
 198 \bibliographystyle{alpha}
 199 \bibliography{biblio}
 200 \include{Bibliographie}
 201
 202
 203 \end{document}