Student Research Assistant and Tutor Positions
Student Research Assistant
🔬 JavaScript/React development for BenchExec
This application is based on the React framework from Facebook and some libraries for features like tables and plots. A list of potential tasks can be found in our issue tracker. We also welcome own ideas and suggestions on how to improve it.
Required Skills:
- JavaScript programming
Useful knowledge/areas of interest:
- React
- Web technologies
- UI
The employment is as a student assistant (HiWi) with up to 12 hours per week. The working hours can be arranged flexibly. A long-term cooperation over several semesters is generally desired from our side. If you are interested or if any questions are left, please contact me directly via Zulip or mail.
Languages: German and English
🔬 VerifierCloud: Cloud Service for Benchmarks
Required Skills:
- Java programming
- Basic Linux knowledge
Useful knowledge/areas of interest:
- Software Verification
- Web technologies
- Parallel programming
The employment is as a student assistant (HiWi), whereby the number of hours per week can be flexibly adjusted (but should not be less than 5 hours per week). The working hours can be arranged flexibly. A long-term cooperation over several semesters is generally desired from our side. If you are interested or if any questions are left, please contact me directly via Zulip or mail.
Languages: German and English
🔬 CPAchecker: The Configurable Software-Verification Platform
Required Skills:
- Java programming
- Basic Linux knowledge
- First experiences with formal methods in software verification
Useful knowledge/areas of interest:
- Software Verification
- Interest in research and experimenting
The employment is as a student assistant (HiWi), whereby the number of hours per week can be flexibly adjusted (but should not be less than 5 hours per week). The working hours can be arranged flexibly. A long-term cooperation over several semesters is generally desired from our side. If you are interested or if any questions are left, please contact me directly via Zulip or mail.
Languages: German and English
🔬 Development of Tools and Microservices for Code Analysis
We aim to apply our achievements in software-verification research to various real-world applications. In this role, you will be part of a small team that designs and develops tools to make code analysis more accessible and better scalable for everday software development. A focus is on increasing the usability and the speed. You will have the opportunity to work on projects like IDE plugins, micro-service infrastructures, and integrations in CI pipelines.
This job is for you, if:
- you proud yourself with high-quality code
- you are enthusiastic about developer tooling
- you are interested in the field of compilers and software analysis (parsers, code transformations, static analysis)
- you can manage yourself well
Required Skills:
- Programming experience in Java, Kotlin, or C++
- Basic knowledge in code analysis and/or software verification (example: lectures on formal specification and verification).
Employment: The employment is as a student assistant (HiWi) with 7 to 12 hours per week. The day and time of work can be arranged flexibly in certain bounds. A long-term cooperation over several semesters is generally desired from our side.
Languages: German and English
Please contact us via Zulip or mail. We're always available for questions.
🔬 Bridging Hardware and Software Analysis
Background: Computational systems consisting of both hardware and software components are used everywhere in modern society. The correctness assurance of theses systems is thus an indispensable research area. In this project, we aim at utilizing the joint knowledge of both hardware and software verification communities by
- optimizing the applicability of software analyzers to hardware designs,
- constructing a framework that facilitates the utilization of off-the-shelf hardware analyzers for software, and
- combining strengths of hardware and software verification algorithms to solve practical problems.
Job description: We are looking for students that can assist us in the following tasks.
- Develop and optimize the translation flow of Btor2C
- Extend word-level hardware model-checking benchmark set
- Incorporate more hardware verifiers into our benchmarking framework
- Implement a Btor2 parser in Python
- ... and more!
Requirements:
- Programming experience in C/C++ and Python
- Basic Linux skills
- Knowledge in formal verification and testing
Employment: The employment is as a student assistant (HiWi) with 7 to 12 hours per week. The day and time of work can be arranged flexibly in certain bounds. A long-term cooperation over several semesters is generally desired from our side.
Languages: English
Contact: Po-Chun Chien and Nian-Ze Lee
Tutorship
📝 Einführung in die Informatik (mit Python)
Anmerkung: Die Veranstaltung "Einführung in die Informatik" wird ab dem WS 2022/23 von Java zu Python als primäre Programmiersprache wechseln.
Wir können Dir einen der folgenden Verträge anbieten:
- Bei einer Gruppe: 9h / Woche über 5 Monate
- Bei zwei Gruppen: 13h / Woche über 6 Monate (Bei zwei Gruppen sind es in Summe etwas weniger Stunden, da das Tutorentreffen ja nur einmal anfällt.)
Vertragsbeginn: 01.10.2023 oder 17.10.2023 bis 14.04.2024
Sprache: Deutsch
📝 Formale Spezifikation und Verifikation
Vertragsdauer: 17.10.2023 bis 14.04.2024 (6 Monate) mit 9 Wochenstunden.
Sprache: Deutsch
📝 Softwaretechnik
Die Vertragsdauer beträgt 5 Monate (17.10.2023-15.03.2024) mit 8 Wochenstunden.
Sprache: Deutsch