#unijobs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #unijobs, aggregated by home.social.
-
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 in complex business-process-driven systems, contributing to
protecting critical workflows such as manufacturing, or logistics.Apply until the 18th April 2024:
https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=171839ediw&LANG=USA&VACANCY_ID=386422ijTy#Fedihire #Job #BPMN #BPL #FormalMethods #AcademicChatter #Security #ITP #Z3 #postdoc #unijobs
#ModelChecking #EnterpriseSecurity