PhD/Postdoc Position in Computer Science

(full-time, E 13 TV-L)

Reference Number 2024/107. The start date is by agreement, ideally before the start of the Winter Semester. In principle, this position can be divided into two part-time positions.

The University of Konstanz is one of eleven Universities of Excellence in Germany. Since 2007 it has been successful in the German Excellence Initiative and its follow-up programme, the Excellence Strategy.

The newly established research group in Formal Methods for Software Engineering led by TT-Prof. Emanuele D’Osualdo (www.emanueledosualdo.com), is inviting applications for a PhD position or a Postdoctoral position in Formal Methods, Verification and Programming Languages. The PhD position is initially offered for 4 years; the Postdoc position is available for 2 years with possibility of extensions.

The focus of the group is verification of concurrent systems (see https://doi.org/10.1145/3477082 and https://doi.org/10.1145/3571219), foundations of logics and types (see https://doi.org/10.1145/3563298 and https://doi.org/10.1145/3563318), and verification of probabilistic programs (see https://arxiv.org/abs/2402.18708). Outstanding people with only a partial match to these topics are encouraged to apply. As a member of our team, you will have the opportunity to contribute to state-of-the-art research and interact with high-profile international collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial College London, Groningen). The working language is English.

Your Responsibilities

    • Research on formal methods
    • Problem solving through creative and innovative thinking
    • Communicating your results by publishing research papers at top-level venues (conferences and journals)
    • Supervising students who contribute to your work

Your Competencies

    • Scientific graduate degree (MSc or equivalent) with excellent grades in Computer Science, Mathematics, or closely related field
    • For a PostDoc application, a PhD in Computer Science or Mathematics is required
    • Strong written and oral communications skills in English are required
    • Strong motivation and determination

We Offer

    • Excellent development opportunities, extensive training and mentoring
    • Attractive remuneration package
    • Full funding for international and German students
    • A stimulating environment for research
    • International collaborations and exchange research visits
    • Opportunity to attend international conferences and workshops
All Benefits

Questions can be directed to Prof. Emanuele D’Osualdo via e-mail: emanuele.dosualdo@uni-konstanz.de.

We look forward to receiving your application, consisting of a cover letter, list of references, curriculum vitae, copies of degrees, and, if applicable, list of publication, until June 30st, 2024 via our Online Application Portal.

The University of Konstanz is committed to ensuring an environment that provides equal opportunities and promotes diversity, as well as a good balance between university and family life. As an equal opportunity employer, we strive to increase the number of women working in research and teaching. We also support working couples through our dual career programme. Persons with disabilities are explicitly encouraged to apply. They will be given preference if appropriately qualified (contact sbv@uni-konstanz.de, + 49 7531 88-4016).

 

 

Back to overview Online application