Ich biete als Freiberufler IT-Dienstleistungen und IT-Beratung. Unter anderem biete ich Systementwicklung und -instandhaltung sowie Beratung und Schulungen für Unternehmen sowie Privatpersonen an. Mein Schwerpunkt liegt bei formalen Methoden und interaktivem Theorembeweisen, ich arbeite jedoch auch in anderen Bereichen.
Passende Schulungen
finden Sie hier:
finden Sie hier:
Freelancerdetails
| akademischer Grad | Dr. |
| Ausbildung/Studium | Informatiker/in (Hochschule) |
| Einsatzgebiet | national |
| Verfügbar ab | ab 22.08.2022 |
| Verfügbarkeit vor Ort: | 50% |
| Interesse an Festanstellung | Nein |
| Bietet Schulungsleistungen an | Ja |
Vorstellung
Profil
Programmiersprachen
Haskell, OCaml, SML, Python, Java, C#, Javascript, C++, Bash-Scripte, Perl, PHP, ...
Haskell, OCaml, SML, Python, Java, C#, Javascript, C++, Bash-Scripte, Perl, PHP, ...
Â
Â
weitere IT-Kenntnisse
Datenbankentwicklung (besonders MySQL und MS SQL Server), Git, XML, HTML, CSS, JSON, Docker, ...
Â
Â
Spezifikation und Conformance Testing
Erfahrung mit Model based Testing; einer der Entwickler von Lem; Entwickler von ADATT; Mitarbeit an Spezifikation von POSIX Dateisystemen
Â
Sprachkenntnisse
Kenntnisse & Fähigkeiten
über Facebook
über XING
über LinkedIn
Jetzt registrieren!
Mein Merkzettel
