High Performance Computing System Administrator, TS SCI Clearance, On-Site, Aberdeen, MD - Hewlett Packard Enterprise Company - Annapolis Annapolis, , United States
Professor in Logic and Verification in Computer Science - Technical University of Munich (TUM) - , Germany Munich, , Germany
Computational Optimization Analyst - Lawrence Livermore National Laboratory - Livermore, CA Livermore, CA, United States
Modeling & Simulation Software Developer - Postdoctoral Researcher - Lawrence Livermore National Laboratory - Livermore, CA Livermore, CA, United States