SF4.0 Assistant Professorship

In the context of Software-Factory 4.0, a new assistant professorship for "Semantics and Verification of Parallel Programs" is being created in the Computer Science department of TU Darmstadt.  Candidates should have a strong research and publication background in the area of semantics and verification of parallel software systems, and should strive to extend and deepen their research profile in this area. Examples for relevant topics are

  • Concurrency Theory
  • Construction and Validation of Weak Memory Models
  • Formal Modeling of Concurrent Systems
  • Program Analyses for Multi-threaded Programs
  • Semantics of Concurrent languages
  • Separation Logic
  • Verification of Efficiently Parallelized Programs
Application deadline: April 22, 2018

More information and details on the application process are available under https://www.intern.tu-darmstadt.de/dez_vii/stellen/stellen_details_263552.en.jsp.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang