Skip to main content

Master Informatique, Parcours : Informatique et mathématiques discrètes (IMD)

La formation permet d’acquérir les principes et techniques liés à la conception, l’implémentation, l’exploitation de systèmes et applications informatiques sûrs dans un environnement ouvert et hétérogène. Les métiers visés sont ceux du large champ de la sécurité informatique (applications sécurisées, management de la sécurité, administration d’infrastructures, normes et qualité, audit de sécurité, R&D).

La seconde année du Master parcours Informatique et Mathématiques Discrètes (M2 IMD) est co-habilitée par les départements d'Informatique et de Mathématiques. Une description détaillée est disponible au lien suivant :

https://sciences.univ-amu.fr/fr/formation/masters/master-mathematiques-applications/parcours-informatique-mathematiques-discretes-imd 

Pédagogie

  • AIMS

    The aim of this course is to train students capable of reasoning using the following formalisms: algorithms, logic, automata and other computational models. They will need to acquire advanced expertise in these areas and be able to use them to model a complex computing problem in a rigorous manner.

    This course is primarily aimed at students wishing to complete a PhD thesis in computer science and discrete mathematics, which may be carried out in an academic environment or within a company (CIFRE thesis). It trains students in current computer science research topics, drawing on the computer science research teams at Aix-Marseille Université.

    Métiers visés :

    • R&D engineer
    • Watchdog or research officer
    • Teacher-researcher or researcher
  • LEARNING SITES

    • SCIENCES, Marseille Luminy
  • LEARNING AND RESEARCH

    The programme is characterised by a set of core courses that precede the optional UEs, for which students can choose research-oriented courses. Lastly, the project or work placement UE can be completely dedicated to research: work placement in a laboratory, or research-oriented project.

  • PROFESSIONAL SKILLS TO BE ACQUIRED

    Formulate and then solve a research problem, using the appropriate formal tools (algorithmics, logic, calculation models, combinatorics).

  • INTERNSHIPS AND SUPERVISED PROJECTS

    Information non disponible
  • SPECIFIC TEACHING CONDITIONS

    Information non disponible
  • LEARNING COURSES LIST

Inscription

Responsables du parcours

Logo_LabelPLUS+_Rech_Noir.png