Post-doctoral Project Assistant position on Model Checking and Automated Reasoning
TU Wien is Austria's largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists, research, teaching, and learning dedicated to the advancement of science and technology have been conducted here for more than 200 years, guided by the motto "Technology for People". As a driver of innovation, TU Wien fosters close collaboration with business and industry and contributes to the prosperity of society.
At the Institute of Logic and Computation, in the Research Unit of Formal Methods in Systems Engineering (192-04), TU Wien is offering a position as a University Assistant Post-Doc (all genders). The position is limited to expected 2 years for 40 hours/week, or 4 years for 20 hours/week.
The researcher will work closely with Georg Weissenbacher and Adrian Rebola-Pardo, in addition to PhD students from the Doctoral college in Automated Reasoning.
The research assistant position is financially supported for up to 2 years full-time (40 hours/week), or 4 years part-time (20 hours/week). Entry level salary is determined by the pay grade B1 of the Austrian collective agreement for university staff. This is currently a minimum of EUR 4,932.90/month (full-time) or EUR 2,466.45 (part-time) gross, 14 times/year. Relevant working experiences may increase the monthly income.
TU Wien is committed to increasing the proportion of women in particular in leadership positions. Female applicants are explicitly encouraged to apply. Preference will be given to women when equally qualified, unless reasons specific to a male applicant tilt the balance in his favour. People with special needs are equally encouraged to apply. In case of any questions, please contact the Confidant for Disabled Persons at the university, Mr. Gerhard Neustätter.
Tasks
- Researching extensions of expressive redundance rules from SAT and combinatorial optimization to model checking.
- Implementing model checking and certification software.
- Supporting doctoral students in the project.
- Publishing in scientific journals and international conference proceedings.
- Presenting research results at international conferences and other scientific events.
- Coordinating collaboration with local and international industrial partners.
- Participating in scientific events and other outreach activities, as well as organizational and administrative tasks of our research unit.
Your profile
- PhD in Computer Science or Mathematics.
- Profound knowledge of either (hardware or software) model checking, certification-oriented proof systems (e.g. VeriPB, DRAT), combinatorial solvers (e.g. SAT, SMT, CP, ILP), or other industrial applications of formal methods in computer science.
- Experience with the development of a practice-oriented theoretical framework in the context of formal methods in computer science.
- Development experience in systems programming languages (C, C++, Rust); experience with or eagerness to learn Rust will be highly valued, as well as knowledge of hardware description languages.
- Excellent command of spoken and written English.
- Experience with supervision of Bachelor's and Master's theses will be highly valued.
- Strong interest in breaking new research grounds beyond incremental approaches.
- Social competence, specifically in terms of inclusion, equity, and diversity.
We offer
- An exciting project with high impact potential for the electronic design automation industry in an inclusive and diverse workplace.
- A range of various training opportunities for professional growth.
- Ample possibilities for building an international research network and establishing research collaborations with renowned scientists, including adjacent projects on Automated Reasoning, Security and Privacy and Bilateral AI, in addition to a vast number of similarly WWTF-funded projects.
- Competitive salary and social benefits (health insurance, retirement plan, etc. as well as the fringe benefits of TU Wien).
- Administrative support in research and organizational questions.
- Central location with excellent accessibility in a city regularly ranked first worldwide for best quality of life.
Applications
Applications may be submitted by email to
- A CV based on the Europass template including publications, conference contributions, and other scientific activities, if applicable.
- A statement of purpose that describes your research experience and your motivation for applying for this position.
- A copy of your dissertation; if not written in English, please include a one-page English summary.
- A copy of the Transcripts of records of your PhD.
- If your dissertation is not written in English, an English language certificate (TOEFL or similar).
- Two letters of recommendation. Please provide only the referees' names and contact data; your referees themselves must directly send their recommendation letter.
After the initial screening process, selected applicants will be invited to give a brief presentation (either in person or online) of their previous research. Please note that applicants will not normally be reimbursed for travel costs incurred in connection with this admission process, if they choose to give an on-site presentation.