[TYPES/announce] Phd Position at University of Orléans

Frédéric Dabrowski frederic.dabrowski at univ-orleans.fr
Mon May 6 06:49:46 EDT 2019


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.
https://www.dropbox.com/s/efuf1ni7ctys4wm/phd_subject.pdf?dl=0

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.
https://www.dropbox.com/s/efuf1ni7ctys4wm/phd_subject.pdf?dl=0

The deadline is 26th May, 2019

======================================================

Dr. Frédéric Dabrowski
Laboratoire d’Informatique Fondamentale d’Orléans <https://www.univ-orleans.fr/lifo/>

======================================================
Maître de conférences, Université d’Orléans, LIFO
Responsable. de l’équipe Langages Modèles et Vérification <http://www.univ-orleans.fr/lifo/equipes/LMV/?Home> (LMV)

Site web : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/ <http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/>
Téléphone :+33 (0)2 38 49 27 51 <tel:+33(0)238492751>
======================================================
Associate Professor, University of Orléans, LIFO
Head of the team Languages Models and Verification  <http://www.univ-orleans.fr/lifo/equipes/LMV/?Home>(LMV)

Home : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/ <http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/>
Phone : +33 (0)2 38 49 27 51 <tel:+33(0)238492751>
======================================================

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190506/08d636d4/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: phd_subject.pdf
Type: application/pdf
Size: 29103 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190506/08d636d4/attachment-0001.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190506/08d636d4/attachment-0003.html>


More information about the Types-announce mailing list