[TYPES/announce] Postdoctoral position at INRIA Grenoble, France

analysis, program verification. Information about previous relevant research is available online: http://wam.inrialpes.fr/web-solver/webinterface.html The position is under the supervision of Nabil Layaida (INRIA) and Pierre Geneves (CNRS). Applicants should have interests in programming languages

[TYPES/announce] Associate Professor Position at LIG (Grenoble, France): Logic and Foundations of Programming

. -- Pierre Geneves Researcher, CNRS http://www.pierresoft.com/pierre.geneves

[TYPES/announce] PhD Position at INRIA Grenoble, France

reasoning -- References -- [1] Efficient Static Analysis of XML Paths and Types. Pierre Geneves, Nabil Layaida and Alan Schmitt. PLDI'07. [2] Impact of XML Schema Evolution. Pierre Geneves, Nabil Layaida and Vincent Quint. TOIT'11. [3] XQuery in the browser. Ghislain Fourny, Donald

[TYPES/announce] Junior Research Engineer Position at INRIA Grenoble

previous relevant research is available online: http://wam.inrialpes.fr/web-solver/webinterface.html -- References -- [1] Efficient Static Analysis of XML Paths and Types. Pierre Geneves, Nabil Layaida and Alan Schmitt. PLDI'07. [2] Impact of XML Schema Evolution. Pierre Geneves

[TYPES/announce] Open Post-Doc Position at Inria Grenoble

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Post-doc position available at Inria Grenoble - Rhône-Alpes Strongly typed languages with polymorphism for web data manipulation Applications are invited for a postdoctoral position

[TYPES/announce] PhD Positions at Inria Grenoble, France

of XQuery-based web development frameworks. References: [1] XQuery 3.0: An XML Query Language, W3C Recommendation 08 April 2014:https://www.w3.org/TR/xquery-30/ [2] XQuery and Static Typing: Tackling the Problem of Backward Axes. Pierre Geneves and Nils Gesbert

[TYPES/announce] PhD/PostDoc position at INRIA and UGA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a research assistant to work in the Tyrex group at INRIA/UGA/CNRS in Grenoble, France, with Dr. Pierre Geneves, Dr. Nabil Layaida, and Dr. Nils Gesbert (http

[TYPES/announce] PhD Topic at Inria: Distributed Query Analytics on Property Graphs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are pleased to invite applications for a PhD position at Inria: Topic: Distributed Query Analytics on Property Graphs Supervisors: Angela Bonifati and Pierre Genevès

[TYPES/announce] Tenured positions at Inria and UGA

; * 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 &l