Paweł Pietrzak

Informatyk, programista, pracownik naukowy
Gmina Göteborg, zagranica

Umiejętności

C (język programowania) C++ Qt C++ Programming

Języki

angielski
biegły

Doświadczenie zawodowe

Logo
optimizatiion expert/software developer
Jeppesen AB, Göteborg
rozwój i utrzymywanie oprogramowania do optymalizacji i planowania dla personelu linii lotniczych. Głównie C++, także Python, poza tym, jira, maven, scrum.
Logo
pracownik naukowy/adiunkt
Uniwersytet w Luleå, Szwecja
Badania w zakresie języków programowania, oraz formalnej analizy i modelowania systemów wbudowanych z czasem rzeczywistym. Nauczanie przedmiotów: systemy czasu rzeczywistego, bezpieczeństwo systemów i administrowanie, systemy inteligentne
Logo
inżynier oprogramowania, R&D, optymalizaja
Jeppesen AB, Göteborg
Rozwój oprogramowania (C++, Linux, agile methods, cvs) i algorytmów optymalizujących planowanie i alokację personelu w liniach lotniczych.
Logo
stypendium post-doc
Politechnika w Madrycie
Prowadzenie badań w zakresie analizy statycznej i formalnej weryfikacji programów prologowych
Logo
wykładowca
Uniwersytet w Linköping, Szwecja
Zajęcia dydaktyczne w przedmiotach: programowanie struktur danych w C++, algorytmy i struktury danych, bazy danych
Logo
doktorant
Uniwersytet w Linköping, Szwecja
Badania naukowe, praca nad doktoratem, zajęcia dydaktyczne
Logo
asystent
Politechnika Poznańska
badania w zakresie programowania w logice (Prolog), prowadzenie zajęć dydaktycznych

Edukacja

Logo
informatyka, doktorat
Uniwersytet w Linöping, Szwecja
Logo
informatyka, magisterskie
Politechnika Poznańska

Specjalizacje

Badania i rozwój
Inne
Edukacja/Szkolenia
Uczelnie
IT - Rozwój oprogramowania
Programista C++