Laboratoire d'Informatique de Paris Nord
Le Laboratoire d'Informatique de Paris-Nord (LIPN) est une unité mixte de recherche (UMR 7030) entre le CNRS et l'Université Paris XIII, dite Université Sorbonne Paris Nord (USPN), réunissant 150 chercheurs. Ses principales thématiques de recherche sont l'apprentissage automatique, l'optimisation combinatoire et le calcul haute performance, la conception et l'analyse de modèles combinatoires à l'interface de la physique et de l'algorithmique, les fondements du calcul et la vérification formelle, le traitement automatique du langage naturel et la représentation des connaissances.
Le LIPN propose des offres de thèses, de stages, de postdocs. Pour voir plus en détails nos offres n'hésitez pas à regarder sur l'espace recrutement !
Voir les offres...Retrouvez-nous sur Twitter et Mastodon pour être informer en temps et en heure sur les dernières actualités du LIPN.
Sur notre agenda vous allez pouvoir retrouver l'entièreté de tous nos articles regroupés sur une seule page et regrouper par catégorie donc n'hésitez pas à y jeter un coup d'oeil.
Voir l'agenda...Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-09-08 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
2023-06-23 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Offre de thèse chez Orange : Sécurisation de l’apprentissage fédéré par désapprentissage
La rémunération proposée est de 33.848 euros bruts annuels (années 1 et 2) et 38.480 euros bruts annuels (année 3) + intéressement et participation.
Les candidats intéressés devront postuler en ligne avant le 27/05/2023.
Poste d’ingénieur·e de recherche CNRS / chef·fe de projet expert·e en infrastructures
Mission
Les missions principales consistent à d’une part prendre en charge un service informatique composé de 5 personnes, et d’autre part à gérer en équipe l’infrastructure réseau et système de trois laboratoires le Laboratoire d’Informatique de Paris Nord (LIPN UMR 7030) et le Laboratoire En savoir plus...
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
James Ortiz
2023-05-12 12:15:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse