Post-Doctoral Fellow in Multi-Agent Systems: The Institut Mines-Télécom is seeking a highly motivated Post-Doctoral Fellow to join the ACES team within the LTCI laboratory at Télécom Paris. This 18-month contract position offers an exciting opportunity to engage in cutting-edge research in the field of multi-agent systems verification using game theory and formal methods.
Post-Doctoral Fellow in Multi-Agent Systems
Designation:
Post-Doctoral Fellow
Research Area:
Formal Methods and Verification of Multi-Agent Systems
Location:
Palaiseau, Île-de-France, France
Eligibility/Qualification:
- Completed PhD or equivalent in Computer Science or a related field.
- In-depth theoretical and practical knowledge in formal methods and verification of multi-agent systems.
- Proven team spirit, excellent interpersonal skills, teaching abilities, and fluency in English.
Job Description:
The successful candidate will:
- Conduct research on verification methodologies for multi-agent systems.
- Mentor and provide tutoring services to students and researchers.
- Contribute to the reputation of Télécom Paris, the Institut Mines-Télécom, and the Institut Polytechnique de Paris.
- Publish scientific articles in peer-reviewed journals on multi-agent systems verification.
How to Apply:
Interested applicants should submit a CV and a cover letter outlining their research interests and qualifications. Applications can be sent via email to:
- Scientific Contact: Vadim Malvone (vadim.malvone@telecom-paris.fr)
- Administrative Contact: Najoua Kharmaze (najoua.kharmaze@telecom-paris.fr)
Last Date to Apply:
March 31, 2025
Feel free to modify details as needed!
