• Aktualności

Aktualności Instytutu Podstaw Informatyki PAN

Dyrektor

Instytutu Podstaw Informatyki Polskiej Akademii Nauk

ogłasza konkurs otwarty na stanowisko

profesora zwyczajnego

w Zakładzie Teoretycznych Podstaw Informatyki IPI PAN

 

Do konkursu mogą przystąpić osoby, które spełniają warunki określone w ustawie z dnia 30 kwietnia 2010 r. o Polskiej Akademii Nauk (Dz. U. Nr 96, poz.619).

Kandydaci na to stanowisko powinni posiadać:

  • istotne osiągnięcia w w zakresie metod formalnych inżynierii oprogramowania, w szczególności dotyczące modelowania i weryfikacji systemów probabilistycznych;
  • wieloletnie doświadczenie w opiece naukowej nad młodymi pracownikami, w tym (wypromowanymi) doktorantami;
  • doświadczenie naukowe zdobyte w renomowanych zagranicznych ośrodkach naukowych;
  • biegłą znajomość języka angielskiego w mowie i piśmie.

Termin składania dokumentów upływa z dniem 31 stycznia 2022 roku.

Czytaj więcej: Profesor ZTPI 2022 01

60-lecie założenia CO PAN i 45-lecie powstania IPI PAN


W 2021 r. obchodzimy 60-lecie powstania naszego Instytutu. Początkowo, od 1961 r. nosił nazwę Centrum Obliczeniowego Polskiej Akademii Nauk. W 1976 r. CO PAN zostało przekształcone w Instytut Podstaw Informatyki PAN. W bieżącym roku przypada 45-lecie powołania IPI PAN.

Wybitni badacze z CO PAN / IPI PAN położyli podwaliny pod rozwój polskiej informatyki teoretycznej. W chwili powstania IPI PAN jego najważniejszymi badaczami byli: Leon Łukaszewicz, Antoni Mazurkiewicz, Zdzisław Pawlak i Józef Winkowski (współtwórcy maszyny XYZ) oraz Romuald Marczyński (pomysłodawca i główny twórca maszyn EMAL i EMAL-2).

Obecnie IPI PAN zatrudnia 48 pracowników naukowych i realizuje wiele znaczących projektów z zakresu podstaw informatyki i teorii informacji.Zainteresowania Instytutu dotyczą głównie badań podstawowych, ale również oprogramowania do zastosowań intra- i interdyscyplinarnych. Efekty naszych badań i prac rozwojowych obejmują między innymi:

  • Narzędzie programistyczne MCFS-ID (Monte Carlo Feature Selection and Interdependency Discovery) użyteczne w tej dziedzinie Bioinformatyki,
  • Narodowy Korpus Języka Polskiego (NKJP) zawierający 1,5 miliarda słów,
  • Narzędzie Korpusomat do samodzielnego tworzenia elektronicznych korpusów tekstów,
  • Platformę do ujednoznacznienia znaczenia słów oraz specjalne narzędzia dla lingwistyki korpusowej,
  • Semantyczną wyszukiwarkę dla polskiego Internetu (NEKST - Narzędzia EKsploracji Semantycznej Tekstów), istotnie wykorzystaną przy tworzeniu i utrzymaniu systemów antyplagiatowych, w tym Jednolitego Systemu Antyplagiatowego JSA,
  • Narzędzie VerICS do weryfikowania systemów wieloagentowych i czasu rzeczywistego,
  • Narzędzie PlanICS do automatycznej kompozycji usług sieciowych,
  • Protokoły głosowania weryfikowalne przez użytkownika,
  • Model zapobiegania przymuszaniu podczas głosowania elektronicznego.

Wśród badań teoretycznych dotyczących podstaw informatyki i teorii informacji, za największe spośród osiągnięć naszych pracowników w ciągu ostatniej dekady uważamy prace dra hab. Łukasza Dębowskiego na temat modeli produkcji języka, inspirowane teorią informacji i kodowania. Ostatnio ukazała się monografia "Information Theory Meets Power Laws: Stochastic Processes and Language Models", wydana w John Wiley & Sons

Instytut ma prawo nadawać stopnie naukowe w naukach inżynieryjno-technicznych w dyscyplinie informatyka techniczna i telekomunikacja oraz w naukach ścisłych i przyrodniczych w dyscyplinie informatyka.

Z materiałami archiwalnymi na temat Centrum Obliczeniowego i Instytutu Podstaw Informatyki (prace naukowe, fotografia, czasopisma) można zapoznać się na stronie naszej biblioteki cyfrowej oraz w zakładce Historia Instytutu.

Dyrektor: Prof. dr hab. inż. Wojciech Penczek
Przewodniczący Rady Naukowej: Prof. dr hab. inż. Krzysztof Malinowski

Przetarg nieograniczony nr EA/ZP-5/2/21
na dostawę sprzętu komputerowego - macierzy wraz z serwerem
prowadzony przez Instytut Podstaw Informatyki Polskiej Akademii Nauk
w Warszawie przy ul. Jana Kazimierza 5

Postępowanie prowadzone jest elektronicznie na platformie eZamawiający pod adresem:
Link zewnętrzny do strony na platformie ipipan.ezamawiajacy.pl

Termin składania ofert: 23 grudnia 2021 r. godz. 09:30

Dyrektor

Instytutu Podstaw Informatyki Polskiej Akademii Nauk

ogłasza konkurs otwarty na stanowisko

asystenta

w Zespole Inżynierii Lingwistycznej IPI PAN

Do konkursu mogą przystąpić osoby, które spełniają warunki określone w ustawie z dnia 30 kwietnia 2010 r. o Polskiej Akademii Nauk (Dz. U. 2019, poz.1183 z późn. zm.).

Czytaj więcej: Konkurs asystent ZIL_202112

Dyrektor
Instytutu Podstaw Informatyki Polskiej Akademii Nauk
ogłasza konkurs otwarty na stanowisko
Asystenta
w Zespole Biologii Obliczeniowej
(1 etat)

Do konkursu mogą przystąpić osoby, które spełniają warunki określone w ustawie z dnia 30 kwietnia 2010 r. o Polskiej Akademii Nauk (Dz. U. Nr 96, poz.619).

Czytaj więcej: Konkurs Asystent ZBO 2021


© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności