Abstract: The celebrated Poincaré-Birkhoff theorem on area-preserving maps of the annulus is of fundamental importance in the fields of Hamiltonian dynamics and symplectic topology. In this talk I will formulate a generalization of the Poincaré-Birkhoff theorem, which applies to asymptotically linear Hamiltonian systems on linear phase space, in the spirit of Amann, Conley and Zehnder. In order to explain some elements of the proof, I will explore the main difficulties in setting up a Floer homology for this class of Hamiltonian systems, and touch on two techniques which can be combined to relate the filtered Floer homologies of different iterates of the same asymptotically linear Hamiltonian diffeomorphism.