coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Phd Position at University of Orléans

From: Frédéric Dabrowski <frederic.dabrowski AT univ-orleans.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Phd Position at University of Orléans
Date: Mon, 6 May 2019 12:55:02 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=frederic.dabrowski AT univ-orleans.fr; spf=Pass smtp.mailfrom=frederic.dabrowski AT univ-orleans.fr; spf=None smtp.helo=postmaster AT sucre.univ-orleans.fr
Ironport-phdr: 9a23:m/kMExWBnLXMxxlLNxM6YfvzIXXV8LGtZVwlr6E/grcLSJyIuqrYbRaEt8tkgFKBZ4jH8fUM07OQ7/m5HzNfqs3d+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiroQnLtMQbg4RuJ6g+xxDUvnZGZuNayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0jioMKjk2/nzKisxrlKJUvg6upwBxzY7TZYGaLvt+fqXAdt8eSmdMWsNdWipcCY2+coQPFfIMM+ZEoIbyulUArhWwCxerCu700DBEmnr20Lc60+g9EwzL2hErEdIUsHTTqdX4LKccUfqvy6bV1zLDdfJW1ivl54bGaB8uuuuMXbV+cMrKykkvFh7Og1KeqYz/ITyay/oCs3Ka7+V8T+6glnQopBprojioyMYskYrJhoMOx1DZ8yV5wZg1KcS/SE5hZd6rDoFftyeBN4dsTMMiWXhltSAnwbMIvp67eTIFyJUhxxPHdvyHdYmI4gz6WOaWOzd4gGxqd6i5hxap60SgxPf8WtGp31ZQqSpFisLDtncC1hDJ9seHTf5980G80jiMzwDe8vxILEQ7mKbBNpIsw7w9moAdvEjfBCP7nEr7gLeLekgg9eWk8fnrb7Tkq5OGOYJ4lhvyP6UylsG5HO82KBIBX3KB9uS5zLDj/VP2QLFNjvAuianZrYzVJd4FqaKjHg9V1Icj6wimAzehytQYmWcII0hDeBKclYTpNUvOLOj5Dfe5nVusjC9my+3CM7DuGJnBM3nOnbX7cbtz90JQ0g4+wN9H65JREL4BIfbzWkHrtNzfCx80KwK0w/z5B9pgyIweQ2OPDbODPKzPq1CH/fgvI+6CZY8Ouzb9KuMo5+PojX84h18RZK6p3YETaH+mBPtmJV6ZbWDigtcbCWsKpBYxTPT2iF2eVj5ef2q9X6Ul5j0iFI2mCZrDSZu2jbya3Ca7G4VWaXpcBlCNF3fobYSEVO0WZCKcOM8y2gADALOmUsoq0QyknA780btuaOTOqQMCspe2+sL062zJlBoF2TV+FcOCyGKMBzV6hG4ESiU31+ZzqEZnzUiY0qlQnvpZC5lU/fdEWwEhc5DGmb8pQ+vuUx7MK4/aAG2tRc+rVG1gF4Nj85o1e094Xu6aoFXG1iuuDaUSkuXUVoEy87yZ2GL1Ks970DDIzvt41gV0co50LWSjw5VH2U3LHYeQzBeEkae0MKMG2CPE8nzFw3Dc5BgFAj41ar3MWDUkXmWTrdn94RmZHaSzAq4qdBZHyNDHLbFOZ9TvlhNIXqW7NQ==

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

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

Maître de conférences, Université d’Orléans, LIFO

Responsable. de l’équipe Langages Modèles et Vérification (LMV)

Site web : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/

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)

Home : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/

Phone : +33 (0)2 38 49 27 51
======================================================

[Coq-Club] Phd Position at University of Orléans, Frédéric Dabrowski, 05/06/2019