Uniwersytet Wrocławski

W ramach projektu NCN Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne kierowanego przez prof. Witolda Charatonika można ubiegać się o dwa stypendia doktoranckie.

Wymagania:

• Status doktoranta na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego.
• Dobra znajomość asystenta dowodzenia twierdzeń Coq.
• Znajomość maszyn abstrakcyjnych dla języków programowania.
• Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
• Doświadczenie w pracy naukowej.

Opis zadań:

• Praca badawcza w ramach projektu, z naciskiem na konstrukcję, analizę i optymalizację maszyn abstrakcyjnych dla strategii hybrydowych oraz implementację wybranych maszyn i strategii w~systemie Coq.

Dziekan Wydziału serdecznie zaprasza pracowników oraz studentów na seminarium wydziałowe, które odbędzie się we wtorek 3 marca o godz. 12.30 (Instytut Informatyki, sala 25). Prelegentem będzie profesor Dr. Ivo F. Sbalzarini z Technische Universität w Dreźnie, który wygłosi wykład pt. " New computing enables new biology, which inspires new computing" Przed seminarium, o godz. 12.00, Dziekan zaprasza na kawę i ciastko.

Streszczenie:

Dziekan Wydziału serdecznie zaprasza pracowników oraz studentów na seminarium wydziałowe, które odbędzie się we wtorek 25 lutego o godz. 12.30 (Instytut Informatyki, sala 119). Prelegentem będzie dr hab. Henryk Michalewski z Uniwersytetu Warszawskiego, który wygłosi wykład pt. "Machine learning and theorem proving". Przed seminarium, o godz. 12.00, Dziekan zaprasza na kawę i ciastko.

Wydział Matematyki i Informatyki Uniwersytetu Wrocławskiego oraz Departament Edukacji Miasta Wrocław serdecznie zapraszają uzdolnionych matematycznie uczniów do uniwersyteckich klas siódmych o profilu matematyczno-informatycznym. Od 1 września 2020 roku planowane jest utworzenie klas matematyczno-informatycznych w Szkole Podstawowej nr 3 (ul. Bobrza, www) oraz w Szkole Podstawowej nr 76 (ul. Wandy, www ). Więcej informacji na stronie www.

W ramach projektu Narodowego Centrum Nauki Algebraiczne techniki zrównoleglania algorytmów ogłoszony został konkurs na dwa stypendia naukowe.

Stypendium może uzyskać osoba, która jest studentem studiów II stopnia lub doktorantem na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego. Ponadto wymagane są:

1. Bardzo dobra znajomość algorytmów i struktur danych (algorytmy grafowe, algorytmy tekstowe).
2. Dobra znajomość matematyki (algebra liniowa, rachunek prawdopodobieństwa).
3. Podstawowe rozumienie algorytmów rozproszonych i równoległych (dla tematu nr 3 poniżej).
4. Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
5. Doświadczenie w pracy naukowej. Dorobek potwierdzony publikacjami naukowymi będzie