Inria
Inria.fr
Inria Channel
There are 5 Results with the keyword : "Inria Saclay Ile-de-France"
© Inria / Photo Kaksonen
European Research Council 2011
Dale Miller: “Making proof universal”
As the beneficiary of an ERC Advanced Grant for experienced researchers, Dale Miller has embarked on the difficult path of establishing proof. His aim? In this field, which is highly abstract but which has a definite impact on the real world, he wishes to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them.
Keywords:
- Certificates
- Inria Saclay Ile-de-France
- ProofCert
- Standards
- Systems of proof
- Proof of programs
- Parsifal project-team
- Dale Miller
Home > News > News from Inria > Dale Miller : « Faire que la preuve soit universelle »
Experienced and specialist engineers
Twenty experienced and specialist engineer positions to be filled
Are you an engineer experienced in the field of R&D? And in computing and applied mathematics? Would you like to develop your career in a top-level research environment? Inria offers you opportunities in the form of fixed term contracts within small teams. Two schemes are on offer, depending on whether you are best described as experienced (with two to eight years’ experience) or specialist (eight years or more). From 11 April to 30 September 2012, Inria is offering posts for experienced and specialist engineers. Join us at Inria Saclay - Ile-de-France!
Keywords:
Home > Centre > Saclay > Overview > Offers > Ingénieurs confirmés spécialistes
R&D Engineers
Take a look at our job offers for research and development engineers
Do you want to work with our research teams or in development actions? Inria recruits "R&D Engineers" on fixed-term contracts throughout the year to carry out contracted research work. R&D Engineer contracts with Inria run for periods ranging from six months to three years. Join us at Inria Saclay - Ile-de-France!
Keywords:
Young graduate engineers
Take a look at our young graduate engineer positions
Are you a young graduate engineer? Do you have no more than a year’s experience? Would you like to begin your career in a top-level research environment? Inria offers you opportunities in the form of fixed term contracts of between one and two years’ duration within a small team of scientists. Throughout this contract, you will be mentored. These jobs will enable you to acquire some worthwhile initial work experience in computer-science software development and applied mathematics. Join us at Inria Saclay - Ile-de-France!
Keywords:
- Job offers
- Young graduate engineers
- Computer science
- Simulation
- Modelling
- Inria Saclay Ile-de-France
Home > Centre > Saclay > Overview > Offers > Ingénieurs jeunes diplômés
PhD
PhD positions
Would you like to carry out rewarding research work in computer science and applied mathematics? Are you a young and talented scientist? Inria can offer you a position in on one of its research teams to work on your PhD thesis. Inria Saclay - Ile-de-France is offering thesis positions in 2012. The list of subjects, which may exceed the number of vacant positions, will be updated regularly.
Keywords:
Home > Centre > Saclay > Overview > Offers > PhD positions > Campagne 2012
Inria Research Centers
