coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Open Postdoc and Ph.D. Positions in Concurrency and Software Security

From: Alexandra Weber <weber AT mais.informatik.tu-darmstadt.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] Open Postdoc and Ph.D. Positions in Concurrency and Software Security
Date: Thu, 11 May 2017 15:04:26 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=weber AT mais.informatik.tu-darmstadt.de; spf=None smtp.mailfrom=weber AT mais.informatik.tu-darmstadt.de; spf=None smtp.helo=postmaster AT lnx503.hrz.tu-darmstadt.de
Ironport-phdr: 9a23:fmtCdh3FjOXyMlsysmDT+DRfVm0co7zxezQtwd8ZseMWKPad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sqw5VDqg4qplURPklCgKPCM9/GzXlsB8iaRWqw+jqRNi2Y7ZeIGbOudgcK3ec90VS2VOUdpeWSFaHoOxbZECA/YdMetWrYTwoUYFoxukBQmrAePi0iNFhnvo0qw1yeshFxzJ3BY6ENkTsHvbss76O7kIUeuoy6TJwyvMYOhI1jfn84XIdwouofCXXb5qcMrRz0cvFwTfjlWVs4PlIzKV1ucXv2iH8upsTP+ghHQ9qwF0uTiv2t0jhZTVho4P11/L6zx0zYAoLtO2T057ZMSrEJpWtyyCK4t2X9ouTHxytyYgz70GooK7czIXx5Q73RLQduKIfo6V6RzgTOacOSp0iXx5dL6lhBu//1KsxvD8W8S1ylpGsCRIn93UunwQ2RHf9tKLR/hz80u7xDqC1gDe5vtZLUwqkafWLYMqzKQqmZoJq0vDGzf7mEXog6+ScUUp4uyo6+LoY7jmupOROZV4igHkMqUvgMC/Hfk4PhETUGeB4+S80abj/VHjT7pXkv06iLTWv47CKcQaoK62HRNV354+5xuxEzuqytcVkHcdIF5YeB+KjpLlN0/ALf38Ffu/hk6jkDZvx/DIJL3hBZDNI2DNkbj/Zrly9VRcxRE2zd9F5pJUEasNIPP1Wk//s9zYFBo5PBaow+bmC9VxzJ8eWX+WDqCEKqzSq1qI5vkzI+aWeYAVpCzxJOU76PL2l382hUcdfbW13ZsQcH23AvNmI1yAbXXwhtcBDHwFsxElTO3qjV2CSSRca2yzX6I6/DE7CZipAZ3NRoC30/S923KwGYQTbWRbAHiNF23pfsOKQaQiciWXd+ZlnywNU7S7Qsce2Bujrkeu1LdtI/D8/yQZrtTi0tZy/ejaiRAxsyBpSsiUyWSWU2h4giUESmllj+hEvUVhxwLbguBDiPtCGIkOv/4=

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

--
Alexandra Weber
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
Tel.: +49 6151 16-25255 Fax: +49 6151 16-25251
http://www.mais.informatik.tu-darmstadt.de

[Coq-Club] Open Postdoc and Ph.D. Positions in Concurrency and Software Security, Alexandra Weber, 05/11/2017