Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open Postdoc and Ph.D. Positions in Concurrenc...

Email Gateway (Aug 22 2022 at 15:29):

From: Alexandra Weber <weber@mais.informatik.tu-darmstadt.de>
The Chair Modeling and Analysis of Information Systems at TU Darmstadt,
led by Heiko Mantel, is offering multiple positions. We are looking for
researchers who are interested in addressing foundational problems that
are or will be of practical relevance. The research focus shall be on
concurrency, software security, or their combination.

The spectrum of possible research topics includes

• information-flow analysis of concurrent programs
• information-flow security for Android apps
• side-channel analysis techniques for crypto implementations
• program analyses and transformations suitable for weak memory models
• semantics and verification of parallel programs
• soundness of program parallelization techniques
  Your research shall be based on solid formal foundations and could
  result, e.g.,
  in foundational insights, in program analysis and transformation
  techniques, in
  tools that are reliable and efficient, or in verified critical software
  systems.

For more information about the open positions and how to apply, see
http://www.mais.informatik.tu-darmstadt.de/Positions.html

Last updated: Nov 21 2024 at 12:39 UTC