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...
#SéminaireLoVe

Compositional Verification of Embedded Real-Time Systems

Mohammed Foughali

2023-06-23 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse


Compositional Verification of Embedded Real-Time Systems

Mohammed Foughali

2023-06-23 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Postes temporaires

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.

Lien vers l’annonce (en anglais)

IT / BIATSS

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éminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse


Titre bientôt disponible

Lison Blondeau-Patissier

2023-09-07 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Retour vers le haut