Open positions

Nov. 1, 2019 - Oct. 31, 2024

We are currently looking for Senior Postdocs, Junior Postdocs and PhD students. Candidates must have strong mathematical and computational skills. Specific topics of interest include, but are not limited to:

  • Knowledge Representation
  • Planning
  • Autonomous Agents
  • Reinforcement Learning
  • Logics in AI
  • Temporal Logics
  • Automata
  • Synthesis
  • Logics and Games
  • Monitoring and Verification
  • Data-aware processes
  • Service Composition and Business Process Management
  • Interest in applications in Smart Spaces (IoT) and Smart Manufacturing

All the research activities will be carried out at the University of Rome “La Sapienza” (the largest university in Rome). Salaries vary depending on experience and are commensurate to international standards. Moreover, generous funds for traveling and visiting scholars are available for the entire project team.

Prospective candidates are invited to make an expression of interest by sending an e-mail including a CV and the name of two references to