in connection with my research project APACE, I am seeking a candidate for
a Postdoctoral position funded for 18 months at LIRMM (Montpellier, France).
The APACE project aims at using the links between MSO logic and
tree-automata over decomposable graph classes to build an automatic theorem
prover. Instead of using the tree-automaton corresponding to an MSO formula
for "efficient" model checking (ie, verifying if a given graph has the
desired property), we will analyze the tree-automaton to deduce properties
of the whole graph class. The first objective is to prove algorithmic
meta-theorems relying on this idea. These algorithms will be implemented to
form the APACE automatic prover. The final objective is to use the
automatic-prover to obtain new collections of results about different
decomposable graph classes.
The hired candidate is expected to contribute both to the theoretical
aspect of this project and to the implementation (in C++). The applicants
are expected to have a background in theoretical computer science and to
have some programming skills. More precisely, the principal expected skills
for this project are :
* programming skills (ideally in C++) and algorithmic,
* computer algebra,
* graph theory or combinatorics,
* tree-automata, MSO logic and algorithmic-meta theorems.
The candidates are not expected to be experts in all of these subjects.
The duration of the position is for 18 months, starting between February
and June 2023. The postdoc fellow will be a member of LIRMM. The project
comes with a funding that allows the postdoctoral fellow to travel to
conferences and cover other expenses.
Applications are to be submitted by email to
matthieu.rosenfeld@umontpellier.fr before December and should consist of :
* a curriculum vitae with a list of publications,
* a short motivation letter (a few paragraphs inside the email suffice).
Informal inquiries are welcomed and should be addressed to
matthieu.rosenfeld@umontpellier.fr.
Best Regards,
Matthieu Rosenfeld
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
