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...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...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
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.
Titre bientôt disponible
Lison Blondeau-Patissier
2023-09-07 10:30:00, #SéminaireLoVeSalle 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é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