Northern Paris Computer Science Lab

The Laboratoire d'Informatique de Paris-Nord (LIPN) is a joint research unit (UMR 7030) between the CNRS and the University of Paris XIII, called Université Sorbonne Paris Nord (USPN), with 150 researchers. Its main research thopics are machine learning, combinatorial optimization and high performance computing, design and analysis of combinatorial models at the interface of physics, geometry and algorithmics, foundations of computation and formal verification, automatic natural language processing and knowledge representation.

The LIPN offers theses, internships and postdocs. To see our offers in more detail, please visit the recruitment page !

See the offres...

Follow us on Twitter and Mastodon to get the latest news from LIPN.

On our agenda you will be able to find all our articles grouped on one page and grouped by category so don't hesitate to have a look at it.

See the agenda...
#LoVe Seminar

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

Temporary posts

PhD position on “Securing Federated Learning by Unlearning” at Orange

The proposed salary is 33,848 euros gross per year (years 1 and 2) and 38,480 euros gross per year (year 3) + profit sharing.

Interested candidates should apply online before 27/05/2023.

Link to the job offer.

#LoVe Seminar

Titre bientôt disponible

Lison Blondeau-Patissier

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


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


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

Back to Top