The world is changing at an ever-faster pace. At the Johannes Kepler University Linz, we work on technologies and the ideas of tomorrow on a daily basis. At the same time, we educate over 25,500 young people to meet the demands of today’s job market. In short, we are Upper Austria’s largest institution for education and research. Are you interested in being a part of shaping the future of Austria’s most attractive campus university? We currently have a job opening for a:
Graduate Teaching Assistant (must hold a Diploma/Master's degree) for a full-time, four-year position
Organizational unit::
Institut für Formale Modelle und Verifikation
Entry date::
09/01/2025
Job Reference Number::
34200-2025-001341
:
The Institute for Formal Models and Verification (FMV) at JKU has recently appointed a new professor of Formal Methods: Univ.-Prof. DI Dr. Bernhard Aichernig. We are currently in the process of establishing the new research group on Formal Methods and Automata Learning. To support this endeavor, we are looking for two motivated PhD students in the position of University Assistants who will contribute to the group’s research activities and assist in teaching.
Job Duties::
- Conduct independent research in the area of Formal Methods and be actively involved in publication projects of the institute
- Active participation in the research of the institute as well as in the conception and completion of research projects
- Independ teaching (or participation in teaching) university-level classes (tutorials, practical training courses)
- Co-supervise Bachelor’s/Master’s/Diploma theses
- Writing a dissertation under excellent supervision of the institute
- Provide support to manage the institute’s general administration activities
Your Qualifications::
- The successful candidate must hold a Diploma/Master’s degree in Computer Science (or a corresponding discipline) or equivalent qualification
- Solid theoretical and practical knowledge in the area of Formal Methods
- Expertise in formal specification, modeling, refinement, test-case generation, model checking, theorem proving, or run-time verification is an advantage
- Proven research experience in the field of automata learning is desirable
- Experiences with the following (or similar) formal methods/tools are a plus: TLA+, Event-B, Lean, Isabelle, Rocq, Spin, LTSmin, NuSMV, CBMC, Uppaal, Prism, Storm, LearnLib, AALpy
- Experience in university-level teaching or student supervision is an asset
- Ability to conduct research independently
- Fluency in spoken and written English (level C1) is mandatory, German language skills are of advantage
- Communication and organizational skills and willingness to work in a team
What We Offer::
- On the basis of full-time employment (40 hours/week) the minimum salary in accordance with the collective agreement is € 3,714.80 gross per month (14 x per year, CA Job Grade: B1)
- Stable employer
- Attractive campus environment with good public transportation connections
- Attractive continual educational opportunities
- State-of-the-art research infrastructure
- Dynamic research environment
- Broad range of on-campus dining services/healthy meals (organic food at the cafeteria)
- Exercise and sports classes (USI)
- …and much more
Application Deadline::
07/02/2025
:
The Johannes Kepler University wishes to increase the proportion of academic female faculty and, for this reason, especially welcomes applications by qualified women. If applicants are equally qualified, a woman will be given preference for this position. The university welcomes applications from qualified applicants with disabilities. These applications will be given special consideration.
Contact::
If you have questions, please contact: Univ. Prof. DI Dr. Bernhard Aichernig, P +43 732 2468 4541, E-mail: bernhard.aichernig@jku.at.
Exertion place address:
Altenberger Straße
69,
4040
Linz