faculty iv - electrical engineering and computer science, institute of software engineering and theoretical computer science / models and theory of distributed systems research assistant - salary grade 13 tv-l berliner hochschulen - 1st qualification period (phd candidate) part-time employment may be possible your responsibility successful candidates contribute actively in research, teaching, and operation of a university chair in theoretical computer science. in research, they cooperate to the current core themes of the chair, like distributed algorithms, syntactic and graphical models for distributed systems, formal semantics, type systems, computer-aided (interactive and automatic) verification techniques. in teaching, the candidates contribute to the preparation and execution of modules in the german-speaking bachelor program "informatik", which focuses on the imparting of knowledge and competencies in theoretical computer science. applicants have a verifiably distinct interest in excellent and innovative teaching. in all areas, they are able to work autonomously and they show an affinity for the use theorem provers and for the computerized prototypical realization of their theoretical results (models, semantics, algorithms, et cetera). Your profile Successfully completed university degree (Master, Diplom or equivalent) in Computer Science Very good knowledge of Theoretical Computer Science, especially in Formal Semantics and Formal Methods Knowledge and substantial experience in using interactive theorem provers (e.g., Isabelle/HOL) Knowledge in developing (semi-)automatic analysis tools (e.g., simulation or verification) Solid experience in handling techniques of software project management The ability to teach in German and/or in English is required; willingness to acquire the respective missing language skills Independent working style desirable In-depth knowledge of modeling and verification in the areas of "Concurrency Theory" and "Distributed Systems" desirable