[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
>
