[DL] PostDoc position "Verifiable Graph Database Integration"

[RACHID ECHAHED]

======================================================================= 
PostDoc position 
on 
Verifiable Graph Database Integration 


Location : Lyon/France (LIRIS Lab) 
Duration : 12 months with a possibility of extension to 24 months 
Starting date : Flexible (in 2023) 
Application deadline : As soon as possible/position open until filled 

Context/aim : 
Graph database systems are becoming increasingly popular due to their 
high flexibility. Various graph query languages are being proposed 
such as SPARQL, Cypher, G-CORE or GQL, the standard graph query 
language. The aim of this project is to contribute to the design and 
the implementation of a tool dedicated to the verification of graph 
data integration operations by using verification methods specific to 
graph transformations. The targeted tool will feature different kinds 
of property data graph transformations which may occur, for instance, 
when triggering update operators, processing graph-to-graph queries or 
performing more complex graph integration processes. For more 
details, please contact the supervisors below. 

We are aiming to hire a postdoctoral researcher, having a PhD in 
Computer Science. The successful candidate should have good 
programming skills. Basic knowledge of First-Order Logic, program 
verification techniques or graph databases would be a plus. S/he will 
work in close collaboration with researchers at LIRIS lab (Lyon) and 
LIG lab (Grenoble), in addition to ENS/ULM (Paris) in the context of a 
larger grant supported by the French ANR agency. 

Contact at LIRIS (Lyon) : Angela BONIFATI angela.bonifati at liris.cnrs.fr 
Contact at LIG (Grenoble) : Rachid ECHAHED rachid.echahed at imag.fr 

Application : Please send the following documents to 
angela.bonifati at liris.cnrs.fr and rachid.echahed at imag.fr 
1. CV 
2. Short description of qualifications and research interests 
including list of publications 
3. List of two people who may be contacted for reference letters. 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20230404/9e5308cb/attachment-0001.htm>