Schlagwörter
Skills
- Entwurf und Entwicklung komplexer Softwaresysteme
- Rust / Go / Java / C / TypeScript / Python / Bash
- Technologietransfer
- Software Verifikation, Verifikation von C-Code (ACSL, FramaC, CBMC)
- Satisfiability Modulo Theories (SMT)
Projekthistorie
Reisebereitschaft
Verfügbar in den Ländern
Deutschland