We're seeking candidates for two types of positions: postdoc and
research engineer. Both are two-year positions in LaBRI, Bordeaux
(France), with possible extensions.
The goal of
the project is to develop synthesis algorithms for reinforcement
learning, reactive systems, and games. The candidates will join a lively
research group working at the intersection of formal methods, machine
learning, and programming languages. We target both theoretical results
and prototype implementations.
The project
offers competitive salaries depending on the candidates' experience.
Thanks to the national research agenda for Artificial Intelligence, we
offer higher than average salaries. There are no teaching obligations,
but additional teaching can be offered. The project includes generous
support for traveling.
The starting date can be anytime starting January 2024.
Bordeaux
is a vibrant city surrounded by vineyards, one hour drive from the
ocean and two hours from the Pyrenees mountains. The salaries offer
comfortable living conditions in Bordeaux.
Please get in touch: nathanael.fijalkow@gmail.com