I grew up calling them Jack Jumpers (our local variety were a dull blue / grey), others say Jumping Jacks and the literature just says jumping ants - bull ants...
Either way, this thistle seems an appropriate place to avoid them, because they will make you jump if they nip you...