-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
are developed for areas such as verification, intrusion detection, and AI-based cybersecurity. The research also encompasses the protection of critical infrastructure, including smart grids and secure software
-
well as understanding experience in independent project work as well as the ability to work in a team. For this position, it is required that you have strong programming skills and interest in software security. Meriting
Enter an email to receive alerts for software-verification "https:" positions