Agenda
Actualités :
Adeline Nazarenko, professeure au LIPN, est la nouvelle directrice de l’institut des sciences de l’information et de leurs interactions (INS2I) du CNRS
En savoir plus... Connaissez-vous les cercles arctiques ?
Voici une création en bois de Thomas En savoir plus...
Événements :
Titre bientôt disponible
Séminaire passé
Renan Spencer Trindade
2023-04-06 10:30:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
#SéminaireLoVe
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Coherence via strategic rewriting in higher Kleene algebras.
#SéminaireLoVe
Cameron calk
2023-04-13 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Coherence via strategic rewriting in higher Kleene algebras
Séminaire passé
Cameron Calk
2023-03-23 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Knowledge and Topology: Simplicial Models for Epistemic Logic
Séminaire passé
Jérémy Ledent
2023-03-16 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Postes permanents :
Poste de maître‧sse de conférences en informatique au LIPN-USPN (section 27) en intelligence artificielle
Maitre de conference
Profil court : Informatique
Profil : Apprentissage Artificiel et Science des Données
Domaines de recherche : Intelligence Artificielle
Département ou filière d’enseignement : Département Informatique de l’Institut Galilée
Lieu d’exercice En savoir plus...
Poste de maître‧sse de conférences en informatique au LIPN-USPN (section 27) en logique, programmation et compléxité
Maitre de conference
Profil court : Informatique
Profil : Logique, programmation, complexité
Domaines de recherche : théorie des langages de programmation (approches syntaxiques et
sémantiques), complexité, assistants à la preuve et théorie des types.
Enseignement :
Département : Réseaux et Télécommunications En savoir plus...
Poste de maître‧sse de conférences en informatique au LIPN-USPN (section 27) en Optimisation Combinatoire
Maitre de conference
Profil court : Informatique
Profil : Optimisation Combinatoire
Domaines de recherche : Optimisation Combinatoire
Enseignement :
Département : Département Science des Données (SD)
Lieu(x) d’exercice : IUT de Villetaneuse En savoir plus...
Postes temporaires :
Contrat doctoral en vérification de modèles pour la détection de logiciels malveillants (virus)
Thèse
Contact : Tayssir TOUILI (touili@lipn.fr)
Un contrat doctoral est à pourvoir dans l’équipe “LoVe” du Laboratoire d’Informatique de Paris-Nord (LIPN), Villetaneuse, France.
Le doctorant recruté devra étudier et développer de nouvelles techniques, de nouveaux algorithmes et de nouveaux outils de détection En savoir plus...