principal applied scientist, automated reasoning group Jobs - 0