[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]L'équipe LMV (Langages, Modèles et Vérification) du Laboratoire d'Informatique Fondamentale (Orléans, France) propose un sujet de thèse financé pour une durée de trois ans par le Ministère Français de la Recherche. Ce sujet s'inscrit dans le domaine de la sémantique formelle des langages de programmation des systèmes concurrents. Plus particulièrement, le travail portera sur l'étude des propriétés d'un langage de programmation réactive purement fonctionnel. Le candidat disposera idéalement de connaissances dans les domaine des sémantiques formelles, de l'analyse de programme et des assistants de preuve. Des bases dans l'un de ces domaines et une sérieuse motivations pour découvrir les deux autres est une condition nécessaire. Voir le lien ci-dessous pour plus de détails. Les candidatures sont à envoyer avant le 26 Mai 2019. The LMV (Languages, Models and Verification) Team from the Laboratory of Fundamental Computer Science (Orléans, France) proposes a thesis subject funded for a period of three years by the French Ministry of Research. The successful candidate will work in the field of formal semantics for concurrent programming languages. More specifically, the objective is to study the semantics properties of a purely functional reactive programming language. The candidate will have knowledge in the domain of formal semantics, program analysis and proof assistants. Basics knowledge in one of these areas and a serious motivation to discover the two others are a necessary condition. See the link below for more details. The deadline is 26th May, 2019 ====================================================== |
phd_subject.pdf
Description: Adobe PDF document
Dr. Frédéric Dabrowski ====================================================== Maître de conférences, Université d’Orléans, LIFO Responsable. de l’équipe Langages Modèles et Vérification (LMV) Téléphone :+33 (0)2 38 49 27 51 ====================================================== Associate Professor, University of Orléans, LIFO Head of the team Languages Models and Verification (LMV) Phone : +33 (0)2 38 49 27 51 ====================================================== |
