Postdoctoral position in formal methods, Bordeaux (France)

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

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.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