Contract type : Public service fixed-term contract
Level of qualifications required : Graduate degree or equivalent
Fonction : PhD Position
About the research centre or Inria department
Grenoble Rhône-Alpes Research Center groups together a few less than 800 people in 39 research teams and 8 research support departments.
Staff is localized on 5 campuses in Grenoble and Lyon, in close collaboration with labs, research and higher education institutions in Grenoble and Lyon, but also with the economic players in these areas.
Present in the fields of software, high-performance computing, Internet of things, image and data, but also simulation in oceanography and biology, it participates at the best level of international scientific achievements and collaborations in both Europe and the rest of the world.
In biology, the vast majority of systems can be modeled as ordinary differential equations (ODEs). Modeling more finely biological objects leads to increase the number of equations. Simulating ever larger systems also leads to increasing the number of equations. Therefore, we observe a large increase in the size of the ODE systems to be solved. A major lock is the limitation of ODE numerical resolution software (ODE solver) to a few thousand equations due to prohibitive calculation time. The AEx ExODE tackles this lock via 1) the introduction of new numerical methods that will take advantage of the mixed precision that mixes several floating number precisions within numerical methods, 2) the adaptation of these new methods for next generation highly hierarchical and heterogeneous computers composed of a large number of CPUs and GPUs. For the past year, a new approach to Deep Learning has been proposed to replace the Recurrent Neural Network (RNN) with ODE systems. The numerical and parallel methods of ExODE will be evaluated and adapted in this framework in order to improve the performance and accuracy of these new approaches.
Description of the thesis
 Tian Qi Chen, Yulia Rubanova, Jesse Bettencourt, and David K Duvenaud. Neural ordinary differential equations. In Advances in Neural Information Processing Systems, pages 6571-6583, 2018.
 Dominik Göddeke, Robert Strzodka, and Stefan Turek. Performance and accuracy of hardware-oriented native-, Emulated-and mixed-precision solvers in fem simulations. International Journal of Parallel, Emergent and Distributed Systems, 22(4) :221-256, 2007.
 Will Grathwohl, Ricky TQ Chen, Jesse Betterncourt, Ilya Sutskever, and David Duvenaud. Ffjord : Free-form Continuous dynamics for scalable reversible generative models. arXiv preprint arXiv :1810.01367, 2018.
 Azzam Haidar, Stanimire Tomov, Jack Dongarra, and Nicholas J. Higham. Harnessing gpu tensor cores for fast fp16 arithmetic to speed up mixed-precision iterative refinement solvers. In Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, SC '18, pages 47 :1-47 :11, Piscataway, NJ, USA, 2018. IEEE Press.
 Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. Deep residual learning for image recognition. In The IEEE Conference on Computer Vision and Pattern Recognition (CVPR), June 2016.
 Alan C Hindmarsh. Serial fortran solvers for ode initial value problems. URL: https://computation.llnl.gov/casc/odepack/ [cited June 6, 2019], 2002.
 P.J. Van Der Houwen and B.P. Sommeijer. Parallel iteration of high-order runge-kutta methods with stepsize control. Journal of Computational and Applied Mathematics, 29(1) :111 - 127, 1990.
 Natalia Kalinnik, Matthias Korch, and Thomas Rauber. An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of runge-kutta type. Journal of Computational and Applied Mathematics, 236(3) :394 - 410, 2011. Aspects of Numerical Algorithms, Parallelization and Applications.
 Natalia Kalinnik, Matthias Korch, and Thomas Rauber. Online auto-tuning for the time-step-based parallel solution of odes on shared-memory systems. Journal of Parallel and Distributed Computing, 74(8) :2722 - 2744, 2014.
 Matthias Korch and Tim Werner. Accelerating explicit ode methods on gpus by kernel fusion. Concurrency and Computation : Practice and Experience, 30(18) :e4470, 2018. e4470 cpe.4470.
 Tomonori Kouya. Practical implementation of high-order multiple precision fully implicit runge-kutta methods with step size control using embedded formula. arXiv preprint arXiv :1306.2392, 2013.
 Xiaoye S. Li, James W. Demmel, David H. Bailey, Greg Henry, Yozo Hida, Jimmy Iskandar, William Kahan, Suh Y. Kang, Anil Kapur, Michael C. Martin, Brandon J. Thompson, Teresa Tung, and Daniel J. Yoo. Design, Implementation and testing of extended and mixed precision blas. ACM Trans. Math. Softw., 28(2) :152-205, June 2002.
 L. Murray. Gpu acceleration of runge-kutta integrators. IEEE Transactions on Parallel and Distributed Systems, 23(1) :94-101, Jan 2012.
 T. Rauber and G. Rünger. How do loop transformations affect the energy consumption of multi-threaded runge-kutta methods ? In 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), pages 499-507, March 2018.
 Thomas Rauber and Gudula Rünger. Parallel execution of embedded and iterated rungekutta methods. Concurrency : Practice and Experience, 11(7) :367-385, 1999.
The PhD student will contribute to the research activities of the exploratory action ExODE (Scaling the Resolution of Ordinary Differential Equation for Computational Biology) on the following subjects: numerical and parallel methods for the resolution of ordinary differential equation (ODE), ODE resolution scheme in mixed precision, numerical method adaptation for the ODE resolution applied to computational biology (and deep learning) and more generally to participate in all the scientific activities of the exploratory action ExODE.
- Analyze requirements
- Propose and analyze solutions
- Design experimental platforms
- Write articles
- Write the reports
- Present the work
Technical skills and level required :
Research master, Applied mathemathics (and/or), Computational sciences (and/or), high performance computing
Languages : English
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
1st and 2nd year: 1 982 euros brut /month
3rd year: 2 085 euros brut / month
- Theme/Domain :
Scientific computing (BAP E)
- Town/city : Lyon
- Inria Center : CRI Grenoble - Rhône-Alpes
- Starting date : 2019-12-01
- Duration of contract : 3 years
- Deadline to apply : 2019-11-11
Inria, the French national research institute for the digital sciences, promotes scientific excellence and technology transfer to maximise its impact. It employs 2,400 people. Its 200 agile project teams, generally with academic partners, involve more than 3,000 scientists in meeting the challenges of computer science and mathematics, often at the interface of other disciplines. Inria works with many companies and has assisted in the creation of over 160 startups. It strives to meet the challenges of the digital transformation of science, society and the economy.
Instruction to apply
Defence Security :
This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.
Recruitment Policy :
As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.