40h/week, presumably starting 01 June 2020.
Completed master's or diploma studies in computer science, information and computer engineering, software development-economy and mathematics & comparable studies.
Teaching & Research with focus on Logic & Verification; proven interest in research and teaching in the field of logic and verification.
B 1 under the collective agreement for university employees; the monthly minimum remuneration for this use is currently € 2.929.- gross (14 times per year, including social and health insurance).
Applications, curriculum vitae and other documents should preferably be sent electronically to firstname.lastname@example.org with a precise description of the position or the reference number and must be received by the end of the application period at the latest.
Application deadline: 06 May 2020
Reference number: 7050/20/017