Post-doc position: Factoring linear differential operators using p-adic techniques

This post-doc position at CNRS involves developing algorithms to factor linear differential operators using p-adic techniques. The research will focus on the efficient symbolic resolution of linear differential equations, with applications in various fields including physics and combinatorics. The candidate will join the MAX formal computation team at LIX, École Polytechnique, and is expected to hold a PhD in computer science or mathematics, specializing in computer algebra.