Konkurs na stypendium naukowe dla doktoranta w ramach projektu OPUS 2021/41/B/ST6/00996 pt. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach skończonych.
Konkurs dotyczy stypendium dla doktoranta w Instytucie Informatyki Uniwersytetu Wrocławskiego, w wysokości 3000 zł miesięcznie, na okres od października 2023 do końca trwania projektu (styczeń 2026).Wymagania:
- doktorant na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego; kandydat nie musi być doktorantem w momencie składania wniosku, jednak stypendium będzie wypłacane pod warunkiem, że zostanie nim do 1 października 2023 r.
- wiedza z zakresu teoretycznych podstaw informatyki, logiki w informatyce i złożoności obliczeniowej
- motywacja do pracy naukowej
- dobra znajomość języka angielskiego
- preferowane jest udokumentowane doświadczenie naukowe w tematyce projektu
Wymagane dokumenty:
- CV z opisem dorobku naukowego, informacjami o wyróżnieniach, stypendiach, naukowych wyjazdach zagranicznych, udziale w konferencjach i szkołach naukowych, publikacjach itp.
- zgoda na przetwarzanie danych osobowych do celów rekrutacji
- spis przedmiotów realizowanych podczas studiów wraz z ocenami
- plik z pracą licencjacką/inżynierską/magisterską (o ile powstała)
- (opcjonalnie) adresy mailowe do 1-2 osób mogących udzielić referencji (np. do promotora)
- komisja konkursowa może zaprosić kandydata na dodatkową rozmowę kwalifikacyjną.
dr. hab. Emanuel Kieroński
ul. Joliot-Curie 15, pokój 304
50-383 Wrocław
email: Emanuel.Kieronski@cs.uni.wroc.pl
tel: 71 375 78 21
Konkurs na stanowisko postdoka w ramach projektu ,,Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne stypendium naukowe" (NCN OPUS 2019/33/B/ST6/00289 )
Wymagania- Status studenta studiów II stopnia lub doktoranta na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego.
- Dobra znajomość co najmniej jednego języka funkcyjnego i asystenta dowodzenia twierdzeń Coq.
- Znajomość różnych sposobów opisywania semantyk języków programowania.
- Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
Praca badawcza w ramach projektu, w tym:
- opracowanie nowych form semantyki dla rachunku lambda z efektami algebraicznymi,
- próba zastosowania podejścia derywacyjnego.
Warunki zatrudnienia
- Podanie z życiorysem, listą publikacji, opisem osiągnięć, staży i zgodą na przetwarzanie danych osobowych do celów rekrutacji.
- Potwierdzenie statusu studenta lub doktoranta.
- Adresy mailowe osób, które można poprosić o rekomendacje (np. adres doświadczonego współpracownika naukowego lub promotora pracy magisterskiej).
Konkurs na stanowisko postdoka w ramach projektu ,,Wybrane aspekty kompresji gramatykowej''
Konkurs na stanowisko postdoka w ramach kierowanego przez Artura Jeża projektu Wybrane aspekty kompresji gramatykowej finansowanego przez Narodowe Centrum Nauki. W ramach projektu prowadzone są prace związane z kompresję gramatykową i jej powiązaniami z innymi dziedzina informatyki, np. algorytmami tekstowymi, równaniami słów czy unifikacją termów.Czas trwania umowy to 1 rok. Termin rozpoczęcia pracy jest kwestia indywidualnych ustaleń, zwyczajowy termin to początek roku akademickiego (1.10).
Zatrudnienie będzie w ramach umowy o pracę (na czas określony). Płaca netto wynosić będzie ok. 6200 PLN, plus ,,trzynastka''.
Projekt zapewnia również fundusze na wyjazdy na konferencje itp.
Umowa o pracę na tym stanowisku nie wiąże się z pensum dydaktycznym, prowadzenie zajęć jest jednak możliwe, jeśli zainteresowana/zainteresowany wyrazi taką chęć.
Kandydatka powinna/kandydat powinien mieć stopień doktora w dyscyplinie informatyka lub pokrewnej w momencie rozpoczęcia pracy; w przypadku braku tegoż stopnia, należy przekonująco uzasadnić, iż stopień ten niedługo będzie nadany. Preferowani są kandydaci, którzy prowadzili badania związane z tematyką projektu.
Podanie powinno zawierać:
- curriculum vitae;
- dyplom doktorski (lub potwierdzenie, iż stopień zostanie przyznany w niedalekiej przyszłości);
- listę publikacji;
- krótki opis zainteresowań naukowych oraz dotychczasowej pracy naukowej;
- adresy email (przynajmniej jednej, najlepiej dwóch) osób, które mogą wystawić opinię o kandydatce/kandydacie.
W razie pytań proszę kontaktować się z Arturem Jeżem artur.jez@uwr.edu.pl.
Konkurs na stypendium naukowe w ramach projektu “Analityczne P-ideały, przestrzenie Banacha i algebry miarowe.” (Weave UNISONO 2021/03/Y/ST1/00124)
Wymagania:Stypendium może uzyskać osoba, która jest uczestnikiem studiów doktoranckich (1) lub doktorantem w szkole doktorskiej (2). Ponadto, wymagane są:
- Wiedza i doświadczenie w zakresie teorii mnogości I teorii miary ze szczególnym uwzględnieniem teorii algebr Boole’a. Znajomość zagadnień związanych z forcingiem iterowanym I nieośrodkowymi przetrzeniami Banacha będzie dodatkowym atutem.
- Znajomość języka angielskiego.
- Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
- Doświadczenie w pracy badawczej. Dorobek potwierdzony publikacjami naukowymi będzie dodatkowym atutem.
Praca badawcza w ramach projektu Weave UNISONO 2021/03/Y/ST1/00124 “Analityczne P-ideały, przestrzenie Banacha I algebry miarowe”, kierowanego przez Piotra Borodulina-Nadzieję. Prowadzenie badań będzie związane z algebrami Boole’a zbiorów mierzalnych w sensie Lebesgue’a w kontekście teorio-miarowym I forcingowym. W szczególności, badania będą dotyczyć:
- Podalgebr algebry zbiorów mierzalnych definiowanych poprzez aproksymowanie zbiorami otwarto-domkniętymi.
- Problemu zanurzania algebry miarowej w algebrę P(omega)/fin.
Zasady udziału stypendysty w projekcie:
- Stypendium naukowe doktoranta lub uczestnika studiów doktoranckich w wysokości do 4 000 zł/mies., na okres 12 miesięcy (istnieje możliwość przedłużenia do maksymalnie 36 miesięcy). Stypendium można łączyć z innymi stypendiami w tym ze stypendium doktoranckim, z ograniczeniami wynikającymi z odpowiednich aktów prawnych, w tym Ustawy Prawo o szkolnictwie wyższym i nauce.
- Termin rozpoczęcia pobierania stypendium w okresie od 15 kwietnia 2022 r. do 1 sierpnia 2022 r.
- Możliwość finansowania z projektu Weave UNISONO 2021/03/Y/ST1/00124 udziału w konferencjach naukowych i współpracy badawczej z naukowcami.
(2) W rozumieniu ustawy z dnia 20 lipca 2018 r. Prawo o szkolnictwie wyższym i nauce.
Wymagane dokumenty:
- Podanie o przyznanie stypendium w projekcie Weave UNISONO 2021/03/Y/ST1/00124 wraz z życiorysem, listą publikacji, opisem osiągnięć I umiejętności oraz zgodą na przetwarzanie danych osobowych do celów rekrutacji w konkursie.
- Odpis dyplomu magisterskiego.
- Adresy e-mailowe osób, które można poprosić o rekomendacje, np. adres doświadczonego nauczyciela akademickiego lub promotora pracy dyplomowej.
Konkurs na stypendium naukowe w ramach projektu “Analityczne P-ideały, przestrzenie Banacha i algebry miarowe.” (Weave UNISONO 2021/03/Y/ST1/00124)
Wymagania:Stypendium może uzyskać osoba, która jest uczestnikiem studiów doktoranckich (1) lub doktorantem w szkole doktorskiej (2). Ponadto, wymagane są:
- Wiedza i doświadczenie w zakresie teorii mnogości I analizy funkcjonalnej ze szczególnym uwzględnieniem teorii analitycznych P-ideałów I ośrodkowych przestrzeni Banacha. Znajomość zagadnień związanych z kombinatoryką nieskończoną będzie dodatkowym atutem.
- Znajomość języka angielskiego.
- Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
- Doświadczenie w pracy badawczej.
Praca badawcza w ramach projektu Weave UNISONO 2021/03/Y/ST1/00124 “Analityczne P-ideały, przestrzenie Banacha I algebry miarowe”, kierowanego przez Piotra Borodulina-Nadzieję. Prowadzone badania będą zwiazane z powiązaniami między analitycznymi P-ideałami a ośrodkowymi przestrzeniami Banacha. W szczególności, badania będą dotyczyć:
- Przestrzeni Banacha indukowanych przez rodziny zbiorów skończonych.
- Analitycznych P-ideałów reprezentowanych w przestrzeniach Banacha jako ideały sumowalne.
- Stypendium naukowe doktoranta lub uczestnika studiów doktoranckich w wysokości do 4 000 zł/mies., na okres 12 miesięcy (istnieje możliwość przedłużenia do maksymalnie 36 miesięcy). Stypendium można łączyć z innymi stypendiami w tym ze stypendium doktoranckim, z ograniczeniami wynikającymi z odpowiednich aktów prawnych, w tym Ustawy Prawo o szkolnictwie wyższym i nauce.
- Termin rozpoczęcia pobierania stypendium w okresie od 15 kwietnia 2022 r. do 1 sierpnia 2022 r.
- Możliwość finansowania z projektu Weave UNISONO 2021/03/Y/ST1/00124 udziału w konferencjach naukowych i współpracy badawczej z naukowcami.
(2) W rozumieniu ustawy z dnia 20 lipca 2018 r. Prawo o szkolnictwie wyższym i nauce.
Wymagane dokumenty:
- Podanie o przyznanie stypendium w projekcie Weave UNISONO 2021/03/Y/ST1/00124 wraz z życiorysem, listą publikacji, opisem osiągnięć I umiejętności oraz zgodą na przetwarzanie danych osobowych do celów rekrutacji w konkursie.
- Odpis dyplomu magisterskiego.
- Adresy e-mailowe osób, które można poprosić o rekomendacje, np. adres doświadczonego nauczyciela akademickiego lub promotora pracy dyplomowej.
Konkurs na stypendium naukowe w ramach projektu “Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych” (OPUS 2020/39/B/ST6/03288)
Wymagania:Stypendium może uzyskać osoba, która jest studentem studiów II stopnia, uczestnikiem studiów doktoranckich (1) lub doktorantem w szkole doktorskiej (2). Ponadto, wymagane są:
- Wiedza i doświadczenie w zakresie konstrukcji i analizy algorytmów oraz rachunku prawdopodobieństwa. Znajomość zagadnień związanych z algorytmami rozproszonymi, algorytmami probabilistycznymi, kombinatoryką lub fizycznymi/technicznymi aspektami komunikacji bezprzewodowej będzie dodatkowym atutem.
- Dobra znajomość języka angielskiego.
- Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
- Doświadczenie w pracy badawczej. Dorobek potwierdzony publikacjami naukowymi będzie dodatkowym atutem.
Praca badawcza w ramach projektu OPUS2020/39/B/ST6/03288 “Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych”, kierowanego przez Tomasza Jurdzińskiego. Prowadzenie badań będzie związane z konstrukcją i analizą algorytmów rozproszonych, równoległych oraz algorytmów scentralizowanych dla problemów sieciowych oraz dolnych granic na złożoność takich problemów w badanych środowiskach obliczeniowych. W szczególności, badania będą dotyczyć:
- problemów grafowych i in. w środowiskach modelowanych przez sieci o gęstym grafie połączeń (modele congested clique, map-reduce, i in.)
- algorytmów koordynacji, komunikacji i dla problemów grafowych w bezprzewodowych sieciach ad hoc (model sieci radiowych i in.),
- budowie narzędzi kombinatorycznych, probabilistycznych lub algebraicznych dla obliczeń rozproszonych i równoległych (np. selectors, linear sketches, derandomization techniques).
Zasady udziału stypendysty w projekcie:
- Stypendium naukowe doktoranta lub uczestnika studiów doktoranckich w wysokości do 3 000 zł/mies., magistranta w wysokości do 2 000zł/mies. na okres 12 miesięcy (istnieje możliwość przedłużenia do maksymalnie 36 miesięcy). Stypendium można łączyć z innymi stypendiami otrzymywanym od UWr, w tym ze stypendium doktoranckim, z ograniczeniami wynikającymi z odpowiednich aktów prawnych, w tym Ustawy Prawo o szkolnictwie wyższym i nauce.
- Termin rozpoczęcia pobierania stypendium w okresie od 20 listopada 2021 r. do 28 lutego 2022 r.
- Możliwość finansowania z projektu OPUS 2020/39/B/ST6/03288: udziału w konferencjach naukowych i współpracy badawczej z naukowcami spoza Uniwersytetu Wrocławskiego.
(2) W rozumieniu ustawy z dnia 20 lipca 2018 r. Prawo o szkolnictwie wyższym i nauce.
Wymagane dokumenty:
- Podanie o przyznanie stypendium w projekcie OPUS 2020/39/B/ST6/03288 wraz z życiorysem, listą publikacji, opisem osiągnięć, umiejętności (Zalecane dołączenie wykazu zaliczonych na studiach przedmiotów wraz z uzyskanymi ocenami. ) i staży oraz zgodą na przetwarzanie danych osobowych do celów rekrutacji w konkursie.
- Odpis dyplomu magisterskiego (w przypadku uczestników studiów doktoranckich i doktorantów) lub dyplomu studiów pierwszego stopnia (w przypadku studentów studiów II stopnia).
- Adresy e-mailowe osób, które można poprosić o rekomendacje, np. adres doświadczonego nauczyciela akademickiego lub promotora pracy dyplomowej.
Konkurs będzie rozstrzygnięty zgodnie z zasadami przewidzianymi w odpowiednich dokumentach NCN, w szczególności uchwale Rady NCN nr 25/2019 z dnia 14 marca 2019 r. Dokumenty mogą być przygotowane w języku polskim lub angielskim. Osoby aplikujące proszone są o przesłanie powyższych dokumentów w formie elektronicznej na adres tomasz.jurdzinski@uwr.edu.pl.
