Post-Doctoral Fellow in Multi-Agent Systems, Palaiseau, Île-de-France

Postdoc in France

Post-Doctoral Fellow in Multi-Agent Systems: Institut Mines-Télécom, through Télécom Paris, is seeking a highly motivated post-doctoral fellow to join the ACES team at the LTCI laboratory in the Computer Science and Networks Department. This position focuses on the verification of Multi-Agent Systems (MAS) using formal methods and game theory.

Post-Doctoral Fellow in Formal Verification of Multi-Agent Systems

Designation

Post-Doctoral Fellow

Location

Palaiseau, Île-de-France, France (Hybrid working model)


Research AreaFormal Verification of Multi-Agent Systems
Contract Duration18 months
Job TypeFixed-term contract
Annual Leave49 days (CA + RTT)
Public Transport Pass75% reimbursement
Telecommuting1 to 3 days/week possible
ProximityClose to major roads and public transport (RER B and C lines)

Eligibility/Qualification

  • PhD or Equivalent in Computer Science or related field.
  • In-depth theoretical and practical knowledge in formal methods and verification of multi-agent systems.
  • Recognized team spirit, excellent interpersonal skills, and teaching abilities.
  • Fluency in English is a prerequisite.

Job Description

The main responsibilities include:

  • Conducting research in the field of Multi-Agent Systems (MAS) verification.
  • Providing mentoring and tutoring services to students.
  • Contributing to the reputation of Télécom Paris, Institut Mines-Télécom, and the Institut Polytechnique de Paris.
  • Publishing scientific articles in the field of multi-agent systems verification.

The project will study decision problems related to natural strategies and analyze their computational complexity, as well as develop tools for solving these problems.


How to Apply

Interested candidates should submit their application, including a CV and cover letter, on the official application portal. For specific inquiries:

  • Scientific contact: Vadim Malvone (vadim.malvone@telecom-paris.fr)
  • Administrative contact: Najoua Kharmaze (najoua.kharmaze@telecom-paris.fr)

Last Date for Apply

March 31, 2025


This job offers an exciting opportunity to engage in cutting-edge research in a vibrant academic environment, ideal for individuals passionate about formal verification and multi-agent systems.

Link

LEAVE A REPLY

Please enter your comment!
Please enter your name here