As part of an US funded project, we have an exciting opportunity for a PostDoc to work applying formal methods to enterprise systems: We will develop techniques to detect faults and vulnerabilities (from both outsider and insider attackers) in complex bu… Read on blog or Reader Theoretical Computer Science Jobs Read on blog or Reader postdoc at University of Exeter, UK (apply by April 18, 2024) shacharlovett March 29 As part of an US funded project, we have an exciting opportunity for a PostDoc to work applying formal methods to enterprise systems: We will develop techniques to detect faults and vulnerabilities (from both outsider and insider attackers) in complex business-process-driven systems, contributing to protecting critical workflows such as manufacturing, or logistics. Website: https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=171839ediw&LANG=USA&VACANCY_ID=386422ijTy Email: a.brucker@exeter.ac.uk Like

Theoretical Computer Science Jobs © 2024. Manage your email settings or unsubscribe. Get the Jetpack app Subscribe, bookmark, and get real-time notifications - all from one app! Automattic, Inc. - 60 29th St. #343, San Francisco, CA 94110