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

Postdoctoral Fellow opportunity in the Department of Electrical and Computer Engineering at The University of Texas at Austin, within the Cockrell School of Engineering. This is a postdoctoral opening focused on electrical engineering and computer science-related work. The post links directly to the UT Austin Workday job posting for application details and submission. No supervisor, funding, or deadline details are included in the provided text....

This opening is for a Research Scientist / Postdoctoral Researcher in Cyber-Physical Systems, Trustworthy AI at Stevens Institute of Technology in Hoboken, New Jersey. The role is centered on research leadership within a group working at the intersection of cyber-physical systems and trustworthy AI, with an emphasis on carrying projects from planning through deliverables, publications, and demonstrations. The appointed researcher will lead day-to-day project execution, help shape research plans ...

Fully funded PhD opportunity in the Dependable Cyber-Physical Systems (DCPS) Laboratory at the University of Missouri-Columbia , Department of Electrical Engineering and Computer Science. The position is supervised by Prof. Khaza Anuarul Hoque and is tied to an ongoing research project on energy-efficient and formally verified AI/Generative AI hardware . The work sits at the intersection of dependable AI , formal verification , hardware–software co-design , and efficient AI systems . This is a f...

This research opportunity at DEVCOM Army Research Laboratory focuses on developing a hardware security design methodology for obfuscating CMOS IC designs fabricated at untrusted foundries . The project is positioned at the intersection of trusted chip fabrication and design automation, with an emphasis on protecting integrated circuit implementations against adversarial manufacturing scenarios. The selected researcher will work on ASIC design flow and related implementation tasks, including scri...

This position is a Research Associate role in the Systems Software Research Group at Virginia Tech’s Bradley Department of Electrical and Computer Engineering. The work focuses on program analysis aimed at building efficient and scalable tools for reasoning about binary security properties . The successful candidate will join a systems software research environment that sits within a major research university and will contribute to research on software security tooling. The project description e...