Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis


Chronological Thread 
  • From: Heiko Mantel <recruiting AT mais.informatik.tu-darmstadt.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis
  • Date: Wed, 6 Jun 2018 11:54:01 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=recruiting AT mais.informatik.tu-darmstadt.de; spf=None smtp.mailfrom=hamann AT mais.informatik.tu-darmstadt.de; spf=None smtp.helo=postmaster AT lnx500.hrz.tu-darmstadt.de
  • Ironport-phdr: 9a23:dzYSqhZl1HQuNrAFaC8vmVX/LSx+4OfEezUN459isYplN5qZrs26bnLW6fgltlLVR4KTs6sC17KL9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa9bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul86pmRh3lhSkeOzIl/2zcl8h8gaJHrB6koRF03ozab5yPNPdmYK3Tfc4US2lPUMlfWCNOHoyyYpATD+cDJ+tUs5XxqlUMoBa4GAKiBPnvyjhNhnLu36M1zeUhEQLB3Ac9GNwBqnLUrMnrO6cWTOu4y7PIwivfYPNMxDf96ZTIchEnofGDRr9wdNDeyUg0Fw/fj1WQr4LlPzSP1uQIqWeb8+tgVeG1h247tgF9uyWgyd02ionMnYIV1krL+jhlwIovONK3Vld2bNi5G5VesCGaMpF5QsIkQ2xwpCY616QKtoOhcygQzZQn3ALfZOaafIiU+B7sSfieLDFlj3xmYLKynwu+/Ea8xuHmVcS53kxGojdFn9TNrHwByQLf58ifRvdg8EqtxSyD2gPd5+1ePEw5lKrWJ4Q8zrIukpcet1nIEDXsl0XslqCWc10p+ui25OTjZbXrvpucN4l7iwz+LqgihtazAeQiMgkPRWSb5fm82KT+8kLjWrVKi+Y2krXDv5/HOcQXvLO2DBFN3oYi7RawESum3cwFkXQJMF5JYhGKgobzN13TIP31DO2zj0qynDpr3/zGO6fuApTJLnjNirfherN95lZcyAUpyNBQ/ZRUCrcaLfL2QEDxtcfYAgU4MwyyzebnD8991oYEVmKTA6+ZM7nesUOV5u42PuaDfpUVuDPmK/g5/fHhkGM5lUUAcqa3xZcXcmy3Hux6I0WFZnrhmssOEWATvgYnUOPqjECCXiVIanapX6M84yk7B5i8AYfCQICtmr2B0z2hEp1YfGAVQmyLRHzvbsCPX+oGQCOUOM5o1DIeBpa7TIp09Ryvtwiy7rNhMufQsnkCuJn5ydlp5uvcvRQ79CcyDsKT1HuIRn11nSUUWno61bp6ulB0xkvF3aUu0K8QLsBa+/4cClRyDpXb1eEvVoirC1DxO+yRQVPjee2IRDQ4T9Y/2dgLOB0vHtyjlVbC2SStGboci72IQoApt67VxX3qO89x1zDK2ft51gV0co50LWSjw5VH2U3LHYeSyBecnqexM6Ua0inX8W6fzGnIoFwdXAdqVL7ZVHwDIEfb/4yguxHyCoS2ALFiCTNvjM6PLqwQOo/ti0UbHK+lOM7MJX6s3mu5HxOT2rqAcMzmdjdF0Q==
  • Openpgp: preference=signencrypt

The chair MAIS at TU Darmstadt, led by Prof. Dr. Heiko Mantel,
is offering multiple positions. We are looking for researchers
who are interested in addressing foundational problems that will
be of practical relevance or in addressing practical problems
based on solid foundations. The research focus shall be on software
security (information-flow security or side-channel analysis) using
formal methods or systematic experiments.

We are offering three positions for Ph.D. candidates and Postdocs
in the following areas:

1. information-flow analysis techniques for object-oriented
programs at the level of source code and bytecode based
on compositional and precise verification techniques
2. experimental analysis of side-channel vulnerabilities in
cryptographic implementations and generation of attacks
exploiting such vulnerabilities
3. program analysis techniques for detecting side-channel
vulnerabilities in cryptographic implementations and for
assessing the seriousness of such vulnerabilities

The overall goal of our research at MAIS is to make software-based
systems more trustworthy (i.e. secure, safe, and correct) than they
are today. As software engineering is a complex and error-prone task,
we employ formal methods in combination with experiments for reasoning
about software and critical system properties. We investigate software
systems on the level of source code, bytecode, and machine code as well
as on the level of more abstract system specifications. This allows us
to provide support for security at different stages of software
development. At MAIS we are offering a productive and collaborative
research environment in which you can discuss ideas with other team
members working on related topics.

The positions are available immediately and applications will be considered
until the positions are taken. These are positions with regular salary and
social benefits based on TV-TUD. For more information and how to apply,
see http://www.mais.informatik.tu-darmstadt.de/Positions.html.


  • [Coq-Club] Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis, Heiko Mantel, 06/06/2018

Archive powered by MHonArc 2.6.18.

Top of Page