Open Positions

The following position announcements from chairs involved in Software-Factory 4.0 are currently open:

• Verification of Concurrent Systems (Ph.D. or Postdoc/Senior Researcher)
  Job details — Contact: Prof. Dr. Heiko Mantel (contact@mais.informatik.tu-darmstadt.de)
• Information-Flow Security (Ph.D. or Postdoc/Senior Researcher)
  Job details — Contact: Prof. Dr. Heiko Mantel (contact@mais.informatik.tu-darmstadt.de)
• Securing Workflow-Based Systems (Ph.D.)
  Job details — Contact: Prof. Dr. Heiko Mantel (contact@mais.informatik.tu-darmstadt.de)
• Side-Channel Analysis and Mitigation (Ph.D. or Postdoc)
  Job details — Contact: Prof. Dr. Heiko Mantel (contact@mais.informatik.tu-darmstadt.de)

There are openings for student research assistants (HiWis) in some of the involved chairs. Such positions will usually be announced on the webpages of these chairs.