•  

BIP PW / Praca w Politechnice / Dla nie-nauczycieli

Referent - programista metod formalnych - Wydział Matematyki i Nauk Informacyjnych

Politechnika Warszawska poszukuje dwóch osób na stanowiska referenta – programisty metod formalnych do realizacji projektu.: „Eksperymentalna platforma do automatycznej weryfikacji i walidacji algorytmów i protokołów kryptograficznych.” realizowanego na Wydziale Matematyki i Nauk Informacyjnych, w wymiarach 0,2 etatu.

Wymagania stawiane kandydatom:

  • studia inżynierskie o profilu informatycznym (ukończone lub w trakcie realizacji);
  • znajomość zagadnień związanych z programowaniem funkcyjnym;
  • znajomość zagadnień związanych z weryfikacją formalną;
  • znajomość narzędzi, metodyk i dobrych praktyk inżynierii oprogramowania, doświadczenie w użytkowaniu systemu kontroli wersji GIT;
  • umiejętność pracy z w zespole i komunikacji, sumienność i zaangażowanie;
  • doświadczenie w opracowywaniu raportów oraz dokumentacji technicznej;
  • znajomość języka angielskiego.

 

Mile widziane:

  • doświadczenie w  pracy jako programista;
  • doświadczenie w pracy związanej z cyberbezpieczeństwem;
  • doświadczenie w prowadzeniu projektów lub zarządzaniu zespołem;
  • umiejętność sprawnej nauki nowych technologii.

 

Oferujemy:

  • umowę o pracę;
  • pracę w dynamicznym zespole;
  • nowoczesne i przyjazne środowisko pracy;
  • narzędzia niezbędne do realizacji powierzonych zadań.

 

 

Zainteresowane osoby prosimy o przesyłanie dokumentów (CV, list motywacyjny) w wersji elektronicznej na adres: sekretariat.mini@pw.edu.pl , w terminie do dnia 3 października 2022 r.

Zastrzegamy sobie prawo do kontaktu tylko z wybranymi kandydatami. Nadesłanych dokumentów nie zwracamy.

Wytworzył(a): Biuro Spraw Osobowych PW

w dniu: 19.09.2022

Wprowadził(a) do BIP: Redaktor SO BSO

w dniu: 19.09.2022 15:11

Zaktualizował(a): Redaktor SO BSO

w dniu: 19.09.2022 15:11