home.social

#unijobs — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #unijobs, aggregated by home.social.

  1. 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:
    jobs.exeter.ac.uk/hrpr_webrecr

    #Fedihire #Job #BPMN #BPL #FormalMethods #AcademicChatter #Security #ITP #Z3 #postdoc #unijobs
    #ModelChecking #EnterpriseSecurity