Range from CAD/ EDA tools development, semiconductor nano-device design, fabrication, and verification, to clean-room equipment utilization. Formal methods and other advanced algorithmic techniques will be leveraged to enable and evaluate security an Design Engineer, Electronics, Electronic, Research, Micro, Design, Technology, Staffing