Senior Manager, Research – Formal Methods F/H
Technologies. The Automated Reasoning Group specializes in model checking and SAT/SMT. The Assurance Technologies Group includes...
Lugar: Blagnac, Haute-Garonne | 14/09/2024 18:09:46 PM | Salario: S/. No Especificado | Empresa: Raytheon Technologies