Discussion:
[isabelle] Vacancies for PhD and PostDoc Positions in Theoretical Computer Science
(too old to reply)
Barbara Sprick
2010-03-18 10:14:01 UTC
Permalink
Raw Message
Vacancies for PhD and Post Doc Positions in Theoretical CS
======================================================================

The Technische Universität Darmstadt is one of Germany's top technical
universities with an outstanding nation-wide and international
reputation in research and education. The chair Modeling and Analysis
of Information Systems (brief: MAIS, chair holder: Prof. Dr. Heiko
Mantel) was founded in 2007 as part of Theoretical Computer Science.
Currently, the MAIS group is offering

Positions for PhD-Students and Post Docs
(Doktoranden- und PostDocstellen)

Our goal is to make information systems more trustworthy (i.e., correct,
safe, and secure) than they are today. As software engineering is a
complex and error-prone task, we see the need for applying formal
methods for reasoning about information systems and critical system
properties.
Our activities include the advancement of theoretical
foundations, the development of methods and tools, and the application
of our ideas in practice. In this context, we are looking for applicants
who are interested in formal approaches for information security, in
particular in any of the following areas: information flow security,
static and dynamic program analysis and foundations of stepwise software
engineering.
As a suitable candidate, you hold a Master's degree (or equivalent) in
Computer Science or Mathematics. For all our research topics, a solid
background in formal methods or logic is required.

More information about the positions is available at
http://www.mais.informatik.tu-darmstadt.de/Positions.html
In case of further questions, please contact us by email:
<***@mais.informatik.tu-darmstadt.de>

Deadline for applications is the 15th of April 2010. However, we will
consider applications until the position is filled.
i***@gmail.com
2017-04-26 09:39:42 UTC
Permalink
Raw Message
I am about to finish PhD in computer science from IIT Guwahati,
Area : Word conbinatorics
Is there any postdoc vacancy available in this area?

Amit
Post by Barbara Sprick
Vacancies for PhD and Post Doc Positions in Theoretical CS
======================================================================
The Technische Universität Darmstadt is one of Germany's top technical
universities with an outstanding nation-wide and international
reputation in research and education. The chair Modeling and Analysis
of Information Systems (brief: MAIS, chair holder: Prof. Dr. Heiko
Mantel) was founded in 2007 as part of Theoretical Computer Science.
Currently, the MAIS group is offering
Positions for PhD-Students and Post Docs
(Doktoranden- und PostDocstellen)
Our goal is to make information systems more trustworthy (i.e., correct,
safe, and secure) than they are today. As software engineering is a
complex and error-prone task, we see the need for applying formal
methods for reasoning about information systems and critical system
properties.
Our activities include the advancement of theoretical
foundations, the development of methods and tools, and the application
of our ideas in practice. In this context, we are looking for applicants
who are interested in formal approaches for information security, in
particular in any of the following areas: information flow security,
static and dynamic program analysis and foundations of stepwise software
engineering.
As a suitable candidate, you hold a Master's degree (or equivalent) in
Computer Science or Mathematics. For all our research topics, a solid
background in formal methods or logic is required.
More information about the positions is available at
http://www.mais.informatik.tu-darmstadt.de/Positions.html
Deadline for applications is the 15th of April 2010. However, we will
consider applications until the position is filled.
Loading...