The department of Computer Science of Technische Universität Darmstadt
invites applications for an assistant professorship "Semantics and
Verification of Parallel Programs".
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.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
