Navigation überspringen

Reynir Björnsson

Abschluss: MSc in Computer Science, Aarhus Universitet
Copenhagen, Dänemark

Fähigkeiten und Kenntnisse

Programming
Java
OCaml
C
JavaScript
Computer Science
Linux
Git
Functional Programming
Coq
teaching experience
English
Danish
Python
Go
nginx
Bartending experience
Data structures
Software engineering
Angular.js

Werdegang

Berufserfahrung von Reynir Björnsson

  • 6 Monate, Aug. 2012 - Jan. 2013

    Teaching Assistant

    Aarhus Universitet

    Compiler course. Weekly meetings with each 3 man group, and correcting and grading their hand-ins.

  • 3 Monate, Apr. 2011 - Juni 2011

    Teaching Assistant

    Aarhus Universitet

    Programming languages. Class teaching and correcting hand-ins (mostly code)

  • Junior Programmer

    - keine Angaben -

Ausbildung von Reynir Björnsson

  • 1 Jahr, Feb. 2013 - Jan. 2014

    Datalogi

    Aarhus Universitet

    Unfinished

  • 3 Jahre und 6 Monate, Aug. 2009 - Jan. 2013

    Datalogi

    Aarhus Universitet

    Programming languages, type theory, proof assistants (Coq, Agda), ... Mathematics

Sprachen

  • Englisch

    Fließend

  • Dänisch

    Muttersprache

  • Deutsch

    Gut

  • Französisch

    Grundlagen

  • Icelandic

    -

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 22 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z