PhD Position in Trustworthy AI/GenAI Hardware, Formal Methods, and Edge Computing at University of Missouri University of Missouri in United States

Postdoctoral opportunity at the National Institute of Standards and Technology (NIST) in formal methods and cybersecurity . The project is titled “Bugs Framework (BF)-Based Formal Methods Systems for Proof of HW & SW Correctness or Existence of Bugs/Faults” and is hosted in the Information Technology Laboratory, Computer Security Division at NIST in Gaithersburg, Maryland. This research focuses on using the Bugs Framework (BF) to formalize security concepts and build logic-based methods for iden...

Ph.D. opportunities are available at Florida Institute of Technology in the Department of Electrical and Computer Engineering. The research areas include RF & Analog Integrated Circuit Design , Hardware Security , and AI Hardware Accelerators . These topics are well suited to applicants with interests in electrical engineering, computer engineering, computer science, and related areas. Applicants should be highly motivated and prepared for cutting-edge research and innovation in next-generation ...

The TIES Lab at Rensselaer Polytechnic Institute (RPI) is inviting applications for a Postdoctoral Researcher position in the areas of AI Hardware and Hardware Security, with an anticipated start date of August 2026. This opportunity is ideal for candidates interested in cutting-edge research at the intersection of hardware design, security, reliability, and intelligent systems. The research group has a strong publication record in top venues such as DAC, MICRO, NDSS, TMLR, and HOST, and offers ...

Shahin Tajik, Assistant Professor at Worcester Polytechnic Institute (WPI), is seeking highly qualified and motivated candidates for fully funded Master’s and PhD positions in hardware security . The opportunity is centered on graduate research in hardware security, with a strong fit for applicants interested in electrical engineering , computer engineering , hardware systems, wireless communication principles, and electromagnetics. The post indicates that selected students will receive tuition ...

George Mason University’s Department of Electrical and Computer Engineering is advertising a fully funded PhD position in the research group of Yicheng Zhang , who joined as a tenure-track assistant professor in January 2026. The opening is for a motivated doctoral student interested in Electrical Engineering and related Computer Science topics within an ECE research environment. The position includes stipend, tuition, and health insurance , making it a strong funding opportunity for prospective...