Inria
Inria.fr
Inria Channel
Latest news
Consortium
Back to the day launch of the ns-3 Consortium
The first annual meeting of ns-3 Consortium held at Inria Sophia Antipolis Research Centre on March 4th, 2013. See slide show below....
Keywords:
© Inria / Photo H. Raguet
Recrutement
Campaign 2013: Inria is offering more than forty 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 is offering forty-four government funded thesis positions among others in 2013.
Keywords:
Partnership
A Consortium to promote the development of the ns-3 network simulator
Inria and the University of Washington announce the creation of the ns-3 Consortium. The purpose of this consortium is to sustain the ns-3 network simulator, group its users community of users and developers, improve its visibility in the industry and enable it to become a standard in the field of network simulation.
Keywords:
Highlighting the filamentary structures of galaxies distributions
Astrophysic
Mathematicians discover organisational structure of galaxies by chance
The methods for reconstructing three-dimensional shapes developed by Frédéric Chazal and David Cohen-Steiner, two researchers in the Geometrica team (based at Inria Saclay-Ile-de-France and Sophia Antipolis-Méditerranée) are proving to be of unexpected use to astrophysicists. This discovery may be unexpected, but it is not all that surprising.
Application de vente virtuelle commandée par smartphone
-
© Inria / Photo Kaksonen
Researchers
Inria is hiring twenty-nine researchers in 2013
Inria will be holding competitive exams to fill research positions from 15 January on. In 2013, the Institute will be hiring twenty young graduate scientists and nine senior researcher via an externalized competitive selection process. The positions in question are based all over France. If you are interested, please submit your application before 18 February.
Keywords:
Post-doctorant de l'équipe Adam
-
© Inria / Photo Kaksonen
Post-doctoral
Campaign 2013: fifty-five post-doctoral positions
Do you want to pursue rewarding research work in the field of computer science and mathematics? Are you looking for an internationally recognized working environment with links to industry? In 2013, Inria is offering 55 government-funded post-doctoral positions among others, each lasting about 12 or 24 months, for holders of a PhD or other doctorate.
Keywords:
@ Inria / Photo S. Tetu - La Compagny - Conception Comme un arbre
Season's Greetings
Inria wishes you a Happy Science-filled New Year!
Happy New Year from Inria. For you, our researchers invent digital technologies of tomorrow.
Keywords:
© Photo LIRMM
Award
Patrick Valduriez named ACM Fellow
The prestigious distinction from the Association for Computing Machinery (ACM) was recently awarded to a French national for the third time. This is a major honour for Patrick Valduriez, Senior Researcher at Inria and leader of the Zenith joint project-team with LIRMM* in Montpellier.
Keywords:
© Photo Bernard Lachaud
Computer-Assisted Proof
Using the precision of computers to aid mathematics
Along with the Typical research team from Inria Saclay – Ile-de-France, the Marelle research team from the Inria Sophia Antipolis – Mediterranée research centre has made a major contribution to the Mathematical Components project, led by Georges Gonthier as part of the joint Inria – Microsoft Research laboratory. We take a look back at this exciting experience with Marelle researcher Laurence Rideau
Keywords:
© Photo Bernard Lachaud
Computer-assisted proof
Mathematical proof by computer science!
A complete formal proof, certified by the Coq software, was announced in September by Georges Gonthier and his team at the Inria-Microsoft Research joint laboratory.
This work renders the conflict between computer science and mathematics obsolete, the common denominator being logic. Two young researchers who joined Georges Gonthier for the ride told us how much they enjoyed participating in the work and "grew" as a result of the Mathematical Components (MathComp) project. Here's what they had to say...
Archives
