is an opportunity to work with innovative technologies to support Formal Methods for verification of processes, networks... to: Join a team that is building and advancing a Formal Methods-related research area for BBN. Contribute to creating new algorithms...