Nir completed his PhD in 2005 at the Weizmann Institute of Science under the supervision of Amir Pnueli.
Between 2005-2007 he was a postdoc in Tom Henzinger's group in the Ecoloe Polytechnique Federal de Lausanne.
Between 2007-2010 he was a research Fellow in Imperial College London working with Michael Huth.
Nir joined the University of Leicester in 2010 as a Lecturer, and was promoted to Reader/Associate Professor in 2012.
In March 2019 he joined the Department of Computer Science and Engineering at the University of Gothenburg as a Universitets Lektor / Associate Professor.
His research interests include formal verification and automata theory. He is working on model checking of various types of systems, different aspects of temporal logic, as well as synthesis and game solving.
He is also working on applications of formal methods to biological modeling.