En poursuivant votre navigation, vous acceptez l'utilisation de cookies destinés à des fins de mesure d'audience, à améliorer la performance de ce site et à vous proposer des services et contenus personnalisés. En savoir plus

X

Algorithms and Foundations of Programming languages

Diploma : Master in «Computer Sciences»- University Paris- Saclayhttps://www.universite-paris-saclay.fr/sites/default/files/logo_0.png

 

Goals
The track “Algorithmique et Fondements de la Programmation (AFP)” of the Master Computer Sciences of University Paris Saclay is a component of the research-oriented master programme in computer science run jointly by the following institutions: University Paris Diderot, l'Ecole normale supérieure de la rue d'Ulm, Paris, (ENS Ulm), and University Paris Saclay (which includes l'Ecole normale supérieure de Cachan (ENS Cachan), l'Ecole Polytechnique, and Telecom Paris Tech). Its purpose is to train future scientists through intensive exposure to contemporary research in computer science. The aim of the programme is to offer students both core training in the fundamentals of computer science and more specialised training constitutive of a true introduction to research. One or two research internships complete this classical training curriculum.

In view of the great variety of cultural and educational backgrounds of the students, students select their own customised two-year curriculum, i.e. not only the courses they wish to follow, but also the number and type of internships.The second year (M2 year) begins with a first semester dedicated to specialisation by way of level 2 advanced courses. The second semester is devoted to a research internship within a laboratory, either in France or abroad.
The specialisations available include:
· Algorithms
· Automata and Formal Languages
· Automated Deduction
· Combinatorics and Computer algebra
· Computability and Complexity
· Cryptography, Coding, and Security
· Logics and Semantics of Programs
· System Programming, Analysis, and Verification

Job openings
PhD in Computer Sciences for academic and research career, international and national public administrations, companies.

Year 1 – Track Jacques Herbrand
Prerequisite : the “Jacques Herbrand” track is an elite program. Candidates for the full 2-year Masters program should hold, at least, a Bachelors degree in computer science, electrical engineering, or applied mathematics, and have an outstanding academic record.
Language : French and English
Location : Palaiseau Cachan

Apply

Application timeline

Session 1 : January 15th  until February 15th
Session 2 : March 15th until May 15th

Admissions may be accorded for late applications received after the deadline of the 2nd session. In every case, you will receive an answer by the 15th of July, at the latest.

Contact for application

Année 2
Prerequisite: direct admission in 2nd year is open to high level Graduate students (1st year validated) in a comparable program in Computer Sciences See details
Language: French and English
Location: Paris
Validation rules : The Master Diploma is delivered upon validation of 120 ECTS (60 ECTS in 1st year and 60 ECTS in 2nd year)

Costs :registration fees (256€ in 2015-16) + social security affiliation (213€ in 2015-16)

Application
Master Website
Application guidelines

Scholarships program:
Paris-Saclay Scholarships for international Master students arriving in France (10k€) more details

Cooperators

http://www.telecom-paristech.fr/fileadmin/maq14/img/logo.png See original imageSee original imagehttp://www.ens.fr/squelettes/images/logo_ens.png