Senior Digital Engineering / Model-Based Engineering Research Engineer at galois.com