Research Position (PhD) at Humboldt University, 2017

Research Position (Ph.D.) at Humboldt University, 2017 is being offered by the Faculty of Mathematics and Natural Sciences within the Institute of Computer Science.

Eligibility criteria:

• Applicants must have completed their studies in logic, computer science, software engineering or mathematics with a focus on mathematical (theoretical and practical) software.
• Applicants of Research Position (Ph.D.) at Humboldt University, 2017 must have graduated with very good results.
• A command over verification, modeling, formal methods or model testing is beneficial.
• Candidates applying for Research Position (Ph.D.) at Humboldt University, 2017 must be able to understand and analyze complex software.
• An experience in Software engineering is expected from the candidates.