This post is a guest entry discussing a postdoctoral position focused on formal verification and algorithm discovery for numerical analysis at the Chair of Numerical Modelling and Simulation at EPFL, emphasizing the research goals and scope related to numerical algorithms for partial differential equations.