[TYPES/announce] Tenured positions at Inria and UGA

Pierre Geneves pierre.geneves at inria.fr
Mon Feb 3 09:30:03 EST 2020


We currently have several open/competitive positions in the Tyrex 
research team <http://tyrex.inria.fr/>which is a joint team between 
Inria and CNRS and UGA and Grenoble-INP local universities. In the Tyrex 
team, we investigate data-centric programming techniques to facilitate 
information and knowledge extraction, from database, programming 
languages and data analytics perspectives.


This includes, but is not limited to, a range of topics, including the 
design of domain specific programming languages together with their 
foundations (e.g., type systems, algebras, language design, synthesis of 
distributed programs), large scale and distributed data management 
(query optimization, graph management and information extraction from 
raw data), data science and artificial intelligence and knowledge 
extraction and inference (machine learning on and with property and 
knowledge graphs, predictive analytics, combined reasoning and learning 
from symbolic and numerical data).

A variety of positions are available at different levels:

  *

    Permanent (tenured) researcher positions at Inria

  *

    Faculty positions (tenured): assistant professor (``Maitre de
    conference’’) at local universities (UGA
    <http://www.univ-grenoble-alpes.fr/>, ENSIMAG and IAE), and one
    professor (tenured) position at UGA <http://www.univ-grenoble-alpes.fr/>

  *

    Post-doc positions

  *

    PhD positions

  *

    Research engineer positions

The Tyrex research team <http://tyrex.inria.fr/>is located at the Inria 
Grenoble Rhône-Alpes research center, next to Grenoble, France. 
Interested applicants are invited to contact Pierre Geneves 
<http://pierre.geneves.net> <pierre.geneves at inria.fr 
<mailto:pierre.geneves at inria.fr>> for details.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200203/d3586a33/attachment.html>


More information about the Types-announce mailing list