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
| Designation | PhD/Postdoc Position in Computer Science |
|---|---|
| Research Area | Formal Methods, Verification, Programming Languages |
| Location | University of Konstanz, Germany |
| Eligibility/Qualification | MSc or PhD in Computer Science, Mathematics, or related field |
| Job Description | Research, problem solving, publishing, supervising |
| How to Apply | Submit via Online Application Portal |
| Last Date for Apply | June 30, 2024 |
Designation
PhD/Postdoc Position in Computer Science (full-time, E 13 TV-L)
Research Area
Formal Methods, Verification, Programming Languages
Location
University of Konstanz, Germany
Eligibility/Qualification
- 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 emanuele.dosualdo@uni-konstanz.de.
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!
