The Coq mailing list

[Frédéric Dabrowski <frederic.dabrowski AT univ-orleans.fr>]

Chères et chers Collègues,

La campagne de recrutement sur postes ATER et demi-ATER de l’Université d’Orléans est ouverte.

https://www.univ-orleans.fr/universite/recrutement-ater-rentr%C3%A9e-2019

Pour les profils :

https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ATERListesOffresPubliees/ATEROffres_publiees_TriParRegion.html


N'hésitez pas à prendre contact avec les responsables recherche et enseignement…

Enseignement :

A l’IUT d’Orléans :

Le profil est celui d’un enseignant disposé à s’investir dans l'ensemble des enseignements en Informatique dispensés à l'IUT. On peut citer en particulier les matières suivantes : Sécurité, Programmation répartie, Bases de données, Système, Programmation web, Développement mobile, Services réseaux, Aide à la décision. Une expérience d'enseignement en Informatique dans une filière technologique serait appréciée.

A l’UFR Sciences et Techniques :

L’ATER participera aux enseignements du Pôle Informatique (Collegium ST) dans différentes filières : Licence Informatique

Master Informatique (Professionnel et Recherche)
Master MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises) http://www.univ-orleans.fr/sciences-techniques/info/ contact:direction.sciences-info AT listes.univ-orleans.fr

A l’UFR Droit, Economie et Gestion :
Les besoins sont essentiellement orientés vers la Gestion des Systèmes d'Information :

 les Bases de Données (depuis la Conception jusqu'à l'Interrogation en SQL),

 l'utilisation avancée des tableurs et de la programmation en VBA (avec algorithmique). Il y a aussi la possibilité d'intervenir sur de la programmation Objet et Web.

Recherche

Site web du laboratoire : http://www.univ-orleans.fr/lifo/
Pour tout contact : direction.lifo AT listes.univ-orleans.fr
Pour les activités de recherche, le candidat s’intégrera au Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) au sein des équipes basées à Orléans, et éventuellement sur l’équipe localisée à Bourges :

 CA : Contraintes et Apprentissage (IA),
 GAMoC : Graphes, Algorithmes, et Modèles de Calcul,
 LMV : Langages, Modélisation et Vérification, et
 Pamda : Parallélisme et gestion de données (Big Data)
 SDS : Sécurité des Données et des Systèmes (localisée à Bourges)

The scientific research will be conducted at Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) into research teams located at Orléans (or in Bourges). The topics studied in the lab are:

 CA : Constraints and Machine Learning (AI)
 GAMoC : Graphs, Algorithms and Calculs Models
 LMV : Langages, Modelisation and Verification,
 Pamda : Parallel programming and data management (Big Data)  SDS : Systems and Data Security (located in Bourges) 

======================================================

Dr. Frédéric Dabrowski

Laboratoire d’Informatique Fondamentale d’Orléans

======================================================

Maître de conférences, Université d’Orléans, LIFO

Responsable. de l’équipe Langages Modèles et Vérification (LMV)

Site web : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/

Téléphone :+33 (0)2 38 49 27 51

======================================================

Associate Professor, University of Orléans, LIFO

Head of the team Languages Models and Verification (LMV)

Home : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/

Phone : +33 (0)2 38 49 27 51
======================================================