PhD/Postdoc Position in Computer Science at the University of Konstanz, Germany

Postdoc in Germany

PhD/Postdoc Position in Computer Science: The University of Konstanz, recognized as one of Germany’s Universities of Excellence, is inviting applications for a PhD or Postdoc position in Formal Methods, Verification, and Programming Languages. This full-time position offers an exceptional opportunity to engage in high-profile research and collaborate internationally.

PhD/Postdoc Position in Computer Science at the University of Konstanz

Summary Table

DesignationPhD/Postdoc Position in Computer Science
Research AreaFormal Methods, Verification, Programming Languages
LocationUniversity of Konstanz, Germany
Eligibility/QualificationMSc or PhD in Computer Science, Mathematics, or related field
Job DescriptionResearch, problem solving, publishing, supervising
How to ApplySubmit via Online Application Portal
Last Date for ApplyJune 30, 2024


PhD/Postdoc Position in Computer Science (full-time, E 13 TV-L)

Research Area

Formal Methods, Verification, Programming Languages


University of Konstanz, Germany


  • PhD Position: Scientific graduate degree (MSc or equivalent) with excellent grades in Computer Science, Mathematics, or a closely related field.
  • Postdoc Position: PhD in Computer Science or Mathematics.
  • Strong written and oral communication skills in English.
  • High motivation and determination.

Job Description

  • Conduct research on formal methods.
  • Solve complex problems through creative and innovative thinking.
  • Publish research papers at top-tier conferences and journals.
  • Supervise students contributing to your work.
  • Engage with international collaborators (e.g., University of Toronto, Cornell, MPI-SWS, Imperial College London, Groningen).

How to Apply

Interested candidates should apply by submitting a cover letter, list of references, curriculum vitae, copies of degrees, and, if applicable, a list of publications. Applications are to be submitted via the Online Application Portal.

For any inquiries, contact Prof. Emanuele D’Osualdo at

Last Date for Apply

June 30, 2024

Take this opportunity to contribute to cutting-edge research and advance your career in a stimulating academic environment at the University of Konstanz!



Please enter your comment!
Please enter your name here