Phd Student 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 Prae-Doc (all genders). The position is limited to expected 4 years for 40 hours/week.
Successful applicants will work on the extension of techniques for reasoning and certification without loss of generality from SAT solving and combinatorial optimization (e.g. redundance, dominance) to hardware model checking, in the context of our new project Verifying Without Loss of Generality supported by the Vienna Science and Technology Fund (WWTF). This project targets a tighter integration of user input in model checkers as a middle ground between push-button model checking and proof assistant-based verification.
The researcher will be supervised by Georg Weissenbacher and co-supervised by Adrian Rebola-Pardo. Furthermore, the student will be integrated in our Doctoral college in Automated Reasoning. The doctoral student position is financially supported for up to 4 years full-time (40 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 3,714.80/month 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
- Perform independent research on reasoning without loss of generality in model checking.
- Present research results at international conferences and other scientific events.
- Successful completion of milestones and curriculum of the Doctoral college in Automated Reasoning.
- Participation in scientific events and other outreach activities organized by the doctoral college and the TU Wien Informatics Doctoral School.
- Write a dissertation and publications.
- Participation in organizational and administrative tasks of the doctoral college.
Your profile
- A diploma or master university degree in computer science, computer engineering, or mathematics.
- Experience in the research or practice of model checking, automated reasoning, or proof logging for solvers are of advantage.
- Development experience in systems programming languages (C, C++, Rust) is beneficial.
- Excellent communication and writing skills in English.
- Active participation in scientific collaboration.
- Team competences and problem-solving skills.
- Positive attitude and contribution to the work environment.
- 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.
- Continuing personal development and professional education.
- High-quality supervision by renowned scientists.
- Ample possibilities for building an international research network, completing secondments, and establishing research collaborations.
- Courses on transferable skills.
- Competitive salary and social benefits (health insurance, retirement plan, etc. as well as the fringe benefits of TU Wien).
- Administrative support in study 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 cover letter that describes your motivation for applying for this position.
- A copy of your diploma/master thesis, as well as a one-page English summary.
- A copy of the Transcripts of records of your Bachelor’s- and Master’s degrees.
- English language certificate (TOEFL or similar), unless your Bachelor’s or Master’s thesis was written in English.
- Two letters of recommendation (e.g., by your master’s thesis advisor). 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. Additionally, the selected candidates will give a presentation on an article relevant to our research project. The article will be sent to the selected candidates one week prior to the hearings. 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.