[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University
is looking for candidates interested in conducting independent research in the
area of formal analysis of
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are seeking a postdoc researcher, who works at Kyoto University,
Japan for a project "Zero-Trust IoT Systems by Collaboration of Formal
Verification and System Software" by Japan Science
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Institute of Information Security at University of Stuttgart offers a
fully-funded Postdoc position in formal verification
The successful candidate is expected to work on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Institute of Information Security at University of Stuttgart offers a
fully-funded Postdoc position in formal verification
The successful candidate is expected to work on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Deon Digital and DIKU are looking for a postdoc in formal verification
for formal compositional contracts in a domain-specific language
specifying rules (obligations, permissions,