News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral position in formal methods, Bordeaux (France)

Deadline: Tuesday 11 April 2017

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

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

Please note that this newsitem has been archived, and may contain outdated information or links.