Examples of NIP fields of characteristic $p$

For any field $K$ and ordered group $\Gamma$, the Malc'ev-Neumann field $K((\Gamma))$ is maximal by a Theorem of Krull, hence algebraically maximal.

Taking a perfect infinite NIP field $K$, for instance $\mathbf F_p^{alg}$ and a non-divisible $p$-divisible ordered group $\Gamma$, for instance the subgroup $\langle \frac{1}{p^i}:i\in\mathbf N\rangle\subset\mathbf R^+$ provides an example of a non separably closed infinite NIP field.


Understanding concretely which fields (in the "pure" language of rings, $\mathcal{L} = \{0, 1, +, \cdot\}$) are NIP is a topic of current interest in model theory. The 2015 paper "Dp-minimal valued fields" by Jahnke, Simon, and Walsberg begins:

"Very little is known about NIP fields. It is widely believed that an NIP field is either real closed, separably closed or admits a definable henselian valuation. Note that even the stable case of this conjecture is open."

(http://arxiv.org/pdf/1507.03911v1.pdf)

So conjecturally, you may have to become familiar with a little valuation theory even to understand some interesting concrete examples.

To complement the 2/6/16 answer by Drike, we do have a fairly good idea of which fields are dp-minimal, where dp-minimal theories are a subclass of NIP theories in which one-variable definable sets are "indecomposable" in a certain sense (they generalize strongly minimal stable theories). A remarkable characterization of dp-minimal theories was given in 2015 by Will Johnson, and the answer involves a nontrivial amount of valued field theory:

"On dp-minimal fields," Will Johnson, http://arxiv.org/pdf/1507.02745v1.pdf

From that paper: "[the main theorem] almost says that all dp-minimal fields are elementarily equivalent to ones of the form $K((t^\Gamma))$ [AKA Malc'ev-Neumann fields] where $K$ is $\mathbb{F}^{alg}_p$ or a characteristic $0$ local field, and $\Gamma$ satisfies some divisibility conditions. The one exceptional case is the mixed characteristic case, which includes fields such as the spherical completion of $\mathbb{Z}^{un}_p(p^{1/{p^\infty}})$.''