We study stability times for a family of parameter dependent nonlinear Schrödinger equations on the circle, close to the origin. Imposing a suitable Diophantine condition (first introduced by Bourgain), we prove a rather flexible Birkhoff Normal Form theorem, which implies, e.g., exponential and sub-exponential time estimates in the Sobolev and Gevrey class respectively. Contents 1. Introduction and main results 1.1. Stability results 1.2. The abstract Birkhoff Normal Form Acknowledgements Part 1. An abstract framework for Birkhoff normal form on sequences spaces 2. Symplectic structure and Hamiltonian flows 3. Immersions for spaces of Hamiltonians. 4. Small divisors and homological equation 5. Abstract Birkhoff Normal Form Part 2. Applications to Gevrey and Sobolev cases 6. Immersions 7. Homological equation 8. Birkhoff normal form 9. Gevrey stability. Proof of Theorem 1.1 10. Sobolev stability Part 3. Appendices Appendix A. Constants. Appendix B. Proofs of the main properties of the norms Appendix C. Small divisor estimates References 1 Namely g is a holomorphic function on the domain Ta := {x ∈ C/2πZ : |Im x| < a} with L 2 -trace on the boundary. 2 A vector ω ∈ R n is called diophantine when it is badly approximated by rationals, i.e. it satisfies, for some γ, τ > 0, |k • ω| ≥ γ|k| −τ , ∀k ∈ Z n \ {0} .