The TUM Institute for Advanced Studies (IAS) is funding a post-doctoral
researcher position in the Group “Foundations of Software Reliability
and Theoretical Computer Science” led by Javier Esparza. The postdoc
will join the newly created Focus Group on Automated Controller
Synthesis of the IAS, whose members are Samarjit Chakraborty (TUM),
Javier Esparza (TUM), Anca Muscholl (Bordeaux U.) and Majid Zamani
The position is available from October 1st, 2015, for two years. The
first year will be spent at the TUM and the second year at the
University of Bordeaux (LaBRI) in the Formal Methods group.
Candidates are expected to have a PhD in computer science or closely
related fields. Skills in theory, automata, logic, games and
distributed systems, are particularly valuable.
The project involves research on distributed monitoring and on joint
design and verification of distributed controllers and their
implementation infrastructure, including both software and the
computation/communication architecture used for running the software.
For informal inquiries, please send an email to Javier Esparza or Anca
Muscholl. Applications should be sent to Javier Esparza and Anca
Muscholl before May 30th.