Agenda
News :
Introducing the future LIPN building !
You can follow the construction progress on the new MathSTIC building, which will house the LIPN, LAGA and L2TI laboratories at the Villetaneuse campus of Sorbonne Paris Nord University, on this timelapse.
Florent Koechlin, brand new CNRS researcher at the combinatorics, algorithms and interactions (CALIN) team !
Read more...Back-to-the-lab day at the LIPN
On October 10, the laboratory held its back-to-school day. It was an opportunity to hear from new lab members, announce the year’s news and key deadlines, and take part in a bilingual theater play on Read more...
Gender-balanced, inclusive theater in the lab!
On October 10, during LIPN’s Annual General Meeting, the Entrée de jeu theater company staged a play about parity and academic inclusivity in computer science. The play was staged in collaboration with the IRIF Read more...
Morgan Rogers, new Associate Professor in Category Theory at the Logic and Verification (LoVe) team
We are thrilled to welcome Morgan Rogers as an Associate Professor. He is a researcher in category theory, looking for abstractions that isolate the essential features of a solution to a problem.
His specialty is toposes of actions of monoids, but the toolkit is always expanding.
Read more... Events :
Typing Nets as a cost-effective Presentation of the Curry-Howard Isomorphism
#LoVe Seminar
Paulin Jacobé de Naurois
2024-04-25 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Languages of Higher Dimensional Timed Automata
#LoVe Seminar
Emily Clement
2024-05-22 14:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Titre bientôt disponible
Past seminar
Emily Clement
2024-05-22 12:00:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Introduction à la sémantique fonctorielle des théories algébriques généralisées
Past seminar
Jonas Frey
2024-04-11 10:30:00, #SéminaireLoVeSalle B107, bâtiment B, Université de Villetaneuse
Optimisation de la réserve de charge dans un réseau électrique
Past seminar
Dimitri Watel
2024-03-27 10:00:00, #SéminaireAOCSalle B107, bâtiment B, Université de Villetaneuse
Permanent posts:
Full professor position in Computer Science
Permanent posts
Teaching: Computer Science department – Institut Galilée
Research: Any team
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in Combinatorics
Permanent posts
Teaching: Computer science – GEA department – IUT de Saint Denis
Research: CALIN team
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in Formal Verification
Permanent posts
Teaching: Computer Science department – IUT Villetaneuse
Research: LoVe team, Verification axis
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in Combinatorial Optimization, NLP or Knowledge Graphs
Permanent posts
Teaching: Computer Science department – IUT Villetaneuse
Research: RCLN and/or AOC teams
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Associate professor position in logic and theory of programming languages
Permanent posts
Teaching: Computer science – GEA department – IUT de Saint Denis
Research: LoVe team, Logic axis
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Temporary posts :
Post-doc on Legal Information retrieval
Postdoc
The LabEx EFL (Empirical Foundations of Linguistics, http://www.labex-efl.org/ ) is hiring a post-doc researcher on the topic of “Legal Information retrieval”. The position is funded by Strand 5 (Computational Semantic Analysis). The recruited person will work at the LIPN (https://lipn.univ-paris13.fr/home/), RCLN team “Knowledge Representation and Natural Language”.
The post-doc Read more...