Probabilistic analysis of neural networks

  • Palaiseau, Essonne
  • CDD
  • Temps-plein
  • Il y a 15 jours
Offer DescriptionThe Cosynus team at , CNRS & Ecole Polytechnique, France, invites applications for two 3-year PhD positions in formal methods for the analysis of robustness and explainability of neural networks. These positions are fully funded by the of the French National Research Programme on Artificial Intelligence . The successful candidates will work under the supervision of and and have the opportunity to interact with the other members of the SAIF consortium. The research topics can be refined based on the common interests of the candidate and the supervisors, and can be either more theoretically or practically oriented. Candidates should have a strong background in computer science with an interest in formal methods, abstract interpretation/set-based methods, artificial intelligence, and possibly the application to cyber-physical and controlled systems.The application should contain a motivation letter, an academic CV with transcripts, the contact information of two academic references (name, e-mail, and connection to the applicant).More information on the context of the thesis, practical conditions and the research topics can be found at .Funding category: Autre financement public
PEPR IA / SAIF
PHD title: Doctorat d'informatique
PHD Country: FranceRequirementsSpecific RequirementsMaster in math or CS or AI.Candidates should have a strong background in computer science with an interest in formal
methods, abstract interpretation/set-based methods, artificial intelligence, and possibly the
application to cyber-physical and controlled systems.Additional InformationWork Location(s)Number of offers available 1 Company/Institute LIX, Ecole Polytechnique Country France City Palaiseau GeofieldWhere to apply WebsiteContact WebsiteSTATUS: EXPIRED

EURAXESS