Research associate in Electrical and Computer Engineering - University of VA - Charlottesville, VA Charlottesville, VA, United States
Formal Methods/Binary Analysis Research Scientist - Lawrence Livermore National Laboratory - Livermore, CA Livermore, CA, United States
Mechanical Engineer- Facilities (Experienced) - Sandia National Laboratories - Albuquerque, NM Albuquerque, NM, United States