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 Area | Formal Verification of Multi-Agent Systems |
---|---|
Contract Duration | 18 months |
Job Type | Fixed-term contract |
Annual Leave | 49 days (CA + RTT) |
Public Transport Pass | 75% reimbursement |
Telecommuting | 1 to 3 days/week possible |
Proximity | Close 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.