Logic List Mailing Archive

Postdoctoral position in formal methods, Bordeaux (France)

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>

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam