OS Performance Engineer – CoreOS Kernel Engineering