23 Offres de thèse
Visualiser les résultats · Ajouter une offre de thèse

PhD position available -- ANR JCJC project SVeDaS


A PhD position is available within the JCJC project SVeDaS – Specification and Verification of Data-aware Systems, funded by the French Agence Nationale de la Recherche (ANR).

*The Project*

The JCJC project SVeDaS, led by Dr Francesco Belardinelli, is centered
around Data-aware Systems (DaS). In recent years Data-aware Systems
have been put forward as a comprehensive framework to model complex
business workflows by considering data and processes as equally
relevant tenets of the system description

The SVeDaS project is designed to advance the state-of-the-art in the
modelling, analysis and deployment of data-aware systems by using a
novel, compositional, agent-based approach to their specification and
verification.…


Mots-clés
artificial intelligence; Data-aware Systems; Formal Methods; représentation de la connaissance; Systèmes Multi-Agents; Verification by Model Checking
Établissement
Université d' Évry-Val d'Essonne
91025 Evry  
Directeur
Francesco Belardinelli
Co-encadrants
N/A
Site Web
https://www.ibisc.univ-evry.fr/~belardinelli/Projects.html
Date de début souhaitée
01/02/2017
Langues obligatoires
Anglais
Prérequis

- The candidate is required to have a very strong background in
computer science, logics and formal methods
- Must be capable of programming in the most popular programming
languages, including C, C++, Java
- Needs to have obtained a higher education degree in computer science
or related area, with excellent grades
- Commitment, team working and a critical mind are also required
- Previous experience in formal verification by model checking and/or
logics for multi-agent systems is preferred
- Good knowledge of the English language is mandatory. Knowledge of
the French language is not strictly required

Informations de contact

Dr Francesco Belardinelli, Laboratoire IBISC, Evry, France.

Email: belardinelli@ibisc.fr

Knowledge Extraction for the Internet of Things


Context

The aim of the SPIRIT project (U. of Kent (coordination), U. de La Rochelle, U. of Essex, U. of Geneva) is to investigate the Proof-of Concept of employing novel secure and privacy-ensuring techniques in services set-up in the Internet of Things (IoT) environment, aiming to increase the trust of users in IoT-based systems.


Mots-clés
extraction de connaissaces; gestion de la connaissance; internet des objets; modélisation ontologique; web sémantique
Établissement
Université de Genève - Centre universitaire d'informatique
1227 Carouge  
Directeur
Gilles Falquet
Co-encadrants
---
Site Web
http://cui.unige.ch/isi
Date de début souhaitée
01/01/2017
Langues obligatoires
Anglais
Prérequis

The ideal candidate should have a master degree in Computer Science (or equivalent); familiarity with data and knowledge modelling and semantic technologies; good programming skills; good knowledge of English (written and spoken)and and ability to work in a collaborative environment. Proficiency in French will be a plus.

Informations de contact

Prof. Gilles Falquet
Centre universitaire d'informatique - Site de Battelle, Bâtiment A
7, rte de Drize, 1227 Carouge, Suisse/Switzerland
Tel: +41 22 37 90 162, gilles.falquet@unige.ch

Génération pour un agent conversationnel adaptatif


Dans le cadre du projet Nanolifi (un agent conversationnel au service
de la ville, Le LIMSI recrute un.e doctorant.e en informatique.

L’objectif principal de la thèse est de modéliser des activités
dialogiques dans un cadre conversationnel humain-robot tout
venant. L’approche portera sur l’utilisation de méthodes à base
d’apprentissage non supervisé, par exemple de type zero-shot learning
ou par renforcement.…


Mots-clés
apprentissage automatique; traitement automatique de langue
Établissement
Université Paris Sud : Paris 11
91405 Orsay  
Directeur
Sophie Rosset
Co-encadrants
Anne-Laure Ligozat
Date de début souhaitée
01/02/2017
Langues obligatoires
Anglais; Français
Prérequis

* Master 2 en Informatique (ou équivalent), avec au moins une spécialité en
* Apprentissage
* Traitement automatique de la langue
* Traitement de la parole

Informations de contact

Sophie Rosset, rosset@limsi.fr, 0169858002
Anne-Laure Ligozat, annlor@limsi.fr, 0169858010

1 2 3