Post-doctoral position in ANR project DeLTA The Formal Methods group at LaBRI, Bordeaux University, is advertising a 1-year full-time postdoctoral position. The successful applicant will join a research group working on the project Delta http://delta.labri.fr.
The position will be open from January 2017 and applications will be considered until the position is filled. * Main topics of the project - Extended notions of regularity through automata, algebra, and logic, - Complexity of reasoning tasks for automata and transducers on words, trees and graphs, - Logics for reasoning over quantitative or unbounded domains, - Expressiveness of formalisms though the use of algebra. * Requirements - PhD in Computer Science or Mathematics. - Solid background in theoretical computer science (cf. topics). - Proven research record on the aforementioned areas. - Strong commitment to research and to international mobility. - Fluent communication skills in English. * Application The application should include a curriculum vitae (including a publication list), a proof of PhD degree, and a one-page long research project. For further information or applications, candidates should contact Marc Zeitoun (mz [at] labri [dot] fr). * Employment Type of contract: Fixed Term Contract Gross annual salary: about 30K€ Working hours: full time Start date: Spring 2017 Workplace: LaBRI, the computer science laboratory of Bordeaux University, France Best regards, Marc Zeitoun http://www.labri.fr/perso/zeitoun <http://www.labri.fr/perso/zeitoun>
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]]