[TYPES/announce] University Assistant (Post-Doc) Position at TU Wien, 20 hours/week

[Traxler, Alexandra]

The Research Unit Formal Methods in Systems Engineering at the Institute of Logic and Computation of TU Wien, is offering a position as university assistant (post-doc) for 6 years for 20 hours/week. Expected start: January 2022.

Tasks:

  *   Research experience in the area automated propositional reasoning and checking of proof certificates
  *   Deep interest in scientific problems and the motivation for independent and goal-oriented research
  *   Independent teaching or participation in teaching and supervision of students
  *   Project work and leadership of project groups
  *   Publishing activities
  *   The ability to develop methods, concepts, as well as their realization and evaluation and the willingness to contribute in scientific projects
  *   Participation in and organization of scientific events
  *   Supervision of students
  *   Participation in organizational and administrative tasks of the research division and the faculty

Your profile:

  *   Completed doctoral studies in a relevant area
  *   Sound knowledge of scientific work
  *   In-depth knowledge of the subject area propositional reasoning (CDCL), checking of propositional proof certificates (DRAT, DPR, DSR), and Craig Interpolation
  *   Experience in national and international research cooperation as well as in project management and presentations
  *   Interdisciplinary work
  *   Experience in teaching and publication activities as well as interest and enthusiasm in research and work/support with students
  *   Organizational and analytical skills as well as a structured way of working
  *   Excellent command of the English language and very good communicative skills and team competences
  *   Very good skills in English communication and writing. Knowledge of German (level B2) or willingness to learn it in the first year

We offer:

  *   Continuing personal and professional education and flexible working hours
  *   Central location of workplace with very good accessibility
  *   A creative environment in one of the most liveable cities in the world
  *   Additional benefits for employees can be found at the following link: Fringe-Benefit Catalogue of TU Wien<https://urldefense.com/v3/__https://url.tuwien.at/cfjyv__;!!IBzWLUs!DDWDb8RTxzhsMzutHPNY3EQPKBKpTO7fcyEXQUgS6nlOUTneoL9eUaZkSFkKCc1mz6tFypwj1--2Zw$ >

Entry level salary is determined by the pay grade B1 of the Austrian collective agreement for university staff. This is a minimum of currently EUR 1,973.00/month gross, 14 times/year for 20 hours/week. Relevant working experiences may increase the monthly income.

We look forward to receiving your application until 16.12.2021: https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/168937__;!!IBzWLUs!DDWDb8RTxzhsMzutHPNY3EQPKBKpTO7fcyEXQUgS6nlOUTneoL9eUaZkSFkKCc1mz6tFypyj4zdwgA$  <https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/168937**A__;wqA!!IBzWLUs!DDWDb8RTxzhsMzutHPNY3EQPKBKpTO7fcyEXQUgS6nlOUTneoL9eUaZkSFkKCc1mz6tFypyIx_QJAg$ >





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211129/d08218d1/attachment.htm>