[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.gene...@inria.fr
<mailto:pierre.gene...@inria.fr>> for details.
