1 software-formal-method-phd positions at University of Colorado

Assistant Professor - Cybersecurity

University of Colorado | Colorado Springs, Colorado | United States | about 12 hours ago

or device security including reverse engineering and security platform architecture Formal methods and language based security Human aspects of security including social engineering, usable security and