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
Opis zadań: Oferta dotyczy pracy w projekcie OPUS NCN Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach skończonych (nr 2021/41/B/ST6/00996) kierowanym przez
dr. hab. Emanuel Kierońskiego. Wybrany kandydat będzie uczestniczyć w badaniach naukowych dotyczących rozstrzygalności i złożoności obliczeniowej logik motywowanych informatyką. Głównym tematem będą zagadnienia
+związane z problemem spełnialności skończonej wariantów logik deskrypcyjnych oraz pewnych
fragmentów logiki pierwszego rzędu.
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ą.
Dokumenty należy przekazać osobiście kierownikowi projektu lub przesłać drogą
mailową na adres Emanuel.Kieronski@cs.uni.wroc.pl, w terminie
do 31 lipca 2023 r.
Konkurs zostanie rozstrzygnięty do 10 września 2023 r.
Dodatkowe informacje: Stypendystę wyłoni komisja konkursowa, której będzie
przewodniczył kierownik projektu. Konkurs zostanie przeprowadzony zgodnie z
zasadami przedstawionymi w
Regulaminie przyznawania stypendiów naukowych
NCN . Komisja zastrzega sobie możliwość nie przyznania
stypendium w wypadku braku kandydatów o odpowiednich kompetencjach. Stypendium można łączyć z innymi stypendiami otrzymywanymi od UWr, np. ze
stypendium doktoranckim. Przewidziane są fundusze na udział w konferencjach
naukowych lub kilkudniowych wyjazdach do innych ośrodków naukowych. Ewentualne pytania dotyczące konkursu prosimy kierować do kierownika projektu:
dr. hab. Emanuel Kieroński
Instytut Informatyki UWr
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.
Opis zadań:
Praca badawcza w ramach projektu, w tym:
- opracowanie nowych form semantyki dla rachunku lambda z efektami algebraicznymi,
- próba zastosowania podejścia derywacyjnego.
Termin składania ofert: do 30 maja 2023.
Warunki zatrudnienia
Stypendium naukowe w wysokości 2000 zł miesięcznie.
Okres zatrudnienia od czerwca 2023 do lutego 2024.
Stypendium można łączyć z innymi stypendiami otrzymywanymi od UWr, w tym ze
stypendium doktoranckim.
Dodatkowe fundusze na udział w konferencjach naukowych, szkołach, itp.
Wymagane dokumenty
- 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).
Ocena aplikacji kandydatów zostanie przeprowadzona przez komisję konkursową zgodnie z regulaminem przyznawania stypendiów naukowych w projektach NCN. Komisja
zastrzega sobie prawo do przeprowadzenia rozmów kwalifikacyjnych z wybranymi kandydatami oraz do nieprzyznania stypendium i ponowienia konkursu. Dokumenty przygotowane w języku polskim lub angielskim należy
+przesłać w formie elektronicznej na adres
witold.charatonik@cs.uni.wroc.pl. Konkurs zostanie rozstrzygnięty do 1 czerwca 2023.
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.
Podania należy kierować do Artura Jeża emailem artur.jez@uwr.edu.pl do 9. maja.
Więcej informacji tutaj.
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.
Opis zadań:
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.
Termin składania ofert: do 31 marca 2022 roku. Rozstrzygnięcie konkursu: 5 kwietnia 2022 roku.
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.
(1) W rozumieniu ustawy z dnia 27 lipca 2005 Prawo o szkolnictwie wyższym.
(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 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 piotr.borodulin-nadzieja@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 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.
Opis zadań:
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.
Termin składania ofert: do 31 marca 2022 roku. Termin rozstrzygnięcia konkursu: 4 kwietnia 2022 roku.
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.
(1) W rozumieniu ustawy z dnia 27 lipca 2005 Prawo o szkolnictwie wyższym.
(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 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 piotr.borodulin-nadzieja@uwr.edu.pl.
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.
Opis zadań:
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).
Termin składania ofert: do 10 listopada 2021 roku.
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.
(1) W rozumieniu ustawy z dnia 27 lipca 2005 Prawo o szkolnictwie wyższym.
(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.