[TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time)

[Georg Weissenbacher]

This is an announcement of a part-time postdoc position at TU Wien
(Vienna, Austria).

The Research Unit Formal Methods in Systems Engineering at TU Wien is
looking for a postdoctoral researcher and offers a position for 6
years (for 20 hours/week). The expected starting date is January 2022.

Tasks:
+ Independent teaching or participation in teaching and supervision of students
+ Project work and leadership of project groups
+ Publishing activities
+ Participation in and organization of scientific events
+ Participation in organizational and administrative tasks of the
research division and the faculty

Your profile:
+ Completed doctoral studies in a relevant field (e.g., automated reasoning)
+ Research experience in the area automated propositional reasoning
and checking of proof certificates; in-depth knowledge of the subject
area propositional reasoning (CDCL), checking of propositional proof
certificates (DRAT, DPR, DSR), and Craig Interpolation
+ Deep interest in scientific problems and the motivation for
independent and goal-oriented research
+ The ability to develop methods, concepts, as well as their
realization and evaluation and the willingness to contribute in
scientific projects
+ Experience in national and international research cooperation as
well as in project management and presentations
+ 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.

More details and the application form can be found on
https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/168937__;!!IBzWLUs!GnI7CRlER0RPBnSdLfkSIqfhSQ5CewoYzU0VV4JeSzZe9zbLONKX5-1Aq3VFv7ae33NrqL_onkI4LA$