Googleの求人広告

Googleで「型推論」を検索すると、Googleの求人広告が出てくる。
関数型言語に型推論を持つものが多いけど、Googleではそういうのに興味を持つ人材が欲しいのだろうか。