Огласи за студенте
Математички факултет, Универзитет у Београду
Сви огласи
Семинар из вештачке интелигенције, 1. јун 2022.
Наредни састанак Семинара биће одржан онлајн у среду, 1. јуна 2022, од 19-20 часова.
Предавач: Проф. Драган Додер, Utrecht University Netherlands
Наслов предавања: ГРАДУАЛНЕ СЕМАНТИКЕ ЗА ТЕЖИНСКЕ ГРАФОВЕ АУГМЕНТАЦИЈЕ
Апстракт: Формална аргументација је област симболичке вештачке интелигенције која се користи за решавање различитих проблема, укључујући доношење одлука, расуђивање са непотпуним информацијама и класификацију. Најпопуларнији формализам аргументације је обичан усмерени граф, у коме чворови представљају аргументе, а ивице представљају нападе између аргумената. Градуална семантика је метод евалуације снаге аргумената у графовима, чији је циљ да сваком аргументу додели нумеричку вредност која представља његову снагу. У овом излагању, представићу општи приступ за дефинисање градуалних семантика за тежинске графове. Показаћу да се већина постојећих градуалних семантика може дефинисати коришћењем овог приступа, као и да се он може користити за конструисање неколико нових семантика. Приступ ће такође бити анализиран у односу на скуп принципа из литературе.
У предавању ће бити изложени неки резултати из следећих радова:
[1] Leila Amgoud, Dragan Doder, Srdjan Vesic: Evaluation of argument strength in attack graphs: Foundations and semantics. Artif. Intell. 302: 103607 (2022)
[2] Leila Amgoud, Dragan Doder: Gradual Semantics Accounting for Varied-Strength Attacks. AAMAS 2019: 1270-1278
[3] Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic: Acceptability Semantics for Weighted Argumentation frameworks. IJCAI 2017: 56-62
Напомена: Регистрациона форма за учешће је доступна на линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz
Summer Internship @ TeleSign!*
TeleSign има одличне вести за студенте овог лета! Наши Engineering и Data Science тимови укључиће у свој рад 7 младих људи који желе даље да уче и развијају се у овом правцу!
“Summer Internship” траје 2 месеца, након чега смо предвидели могућност трајног запослења! Пријаве су отворене до 10. jуна, a програм праксе почиње 11. јула.
Кликом на називе отворених позиција, можете прочитати детаљан опис:
- Data Science Intern (2 pozicije)
- QA Automation Engineer Intern (2 pozicije)
- Software Engineer Intern
- Fraud Research Knowledge Engineer Intern
- Quality Knowledge Engineer Intern
Процес селекције се састоји из два разговора, први са HR-ом и други са неколико људи из будућег тима, након чега се јављамо са повратном информацијом.
Computational Logic Autumn Summit (CLAS 2022)
Summit is held in Tbilisi on 19-30 September 2022, Georgia
The Computational Logic Autumn Summit brings together eight conferences and four schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.
For more information see: http://viam.science.tsu.ge/clas2022/.
# Schools
- Summer School of the International Colloquium on Theoretical Aspects of Computing
- International School on Rewriting
- International Tbilisi Summer School in Logic and Language
- Logic, Language, Artificial Intelligence
# Conferences
- International Colloquium on Theoretical Aspects of Computing (ICTAC)
- Conference on Intelligent Computer Mathematics (CICM)
- International Symposium on Principles and Practice of Declarative Programming (PPDP)
- International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
- International Conference on Mathematics of Program Construction (MPC)
- International Conference on Runtime Verification (RV)
- International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
- International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)
Четврто такмичење младих из енглеског језика
Академија уметности Нови Сад организује у сарадњи са партнерима из Кине другу годину за редом такмичење младих на енглеском језику.
Такмичење Појас и пут и Чајна дејли међународно такмичење из енглеског језика 21st Century Cup отворени су за пријаву ђака и студената српског држављанства (средње школе, факултети и академије) старости од 16 до 27 година.
Рок за пријаве је 6. јун 2022.
Све детаље и услове пријаве можете наћи на документима на српском и енглеском језику.
Selerant – Junior Software Developer
We are part of Selerant Corporation, a leading global provider of processed-based Product Lifecycle Management software and consulting services within three core manufacturing segments: Food & Beverages, Personal Care/Pharmaceutical and Specialty Chemicals.
Currently, we’re looking for Junior Software Developers to join us. As a SELERANT Junior Software Developer, you’ll use the latest tools and technologies available to deliver state-of-the-art software.
You can find all relevant details regarding the role via this link . If you don’t meet all the stated requirements don’t worry. We would still love to hear from you, if you are passionate about software design and development, and eager to learn. We look forward to receiving your application to e-mail address: hr-serbia@selerant.com.
Generali оглашава отворене позиције
Generali Osiguranje Srbija те чека! Искористи прилику да постанеш JUNIOR IT SECURITY ANALYST, SUPPORT или JUNIOR DEVELOPER.
Више информација можеш наћи у документима овде и овде.
Пријавни формулар се налази на овом линку.
SnapOne – плаћена пракса
Тражимо два практиканта за плаћену праксу у трајању од месец дана на позицији Java Developer-а.
Детаљније информације о огласу налазе се овде.
Студентски семинар, 27. мај 2022.
Наредни састанак Семинара биће одржан онлајн у петак, 27.маја 2022, са почетком у 12 часова.
Предавач: Јелена Вицановић, Технолошко-металуршки факултет Универзитета у Београду
Наслов предавања: НЕОПХОДНИ УСЛОВИ ЕКСТРЕМУМА ЗА ЈЕДНУ КЛАСУ ПРОБЛЕМА ОПТИМИЗАЦИЈЕ СА НЕПРЕКИДНИМ ВРЕМЕНОМ
Апстракт: Разматрамо конвексни проблем оптимизације са непрекидним временом, без претпоставке о диференцијабилности. Неопходне услове добијамо применом нове теореме алтернативе након субдиференцијалне апроксимације проблема.
Линк за приступ предавању је:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj
Линк за регистрацију корисника групе Студентски семинар је:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73
IT@MatF на Математичком факултету
У суботу 28. маја, са почетком у 12 часова, одржавамо већ традиционални догађај IT@MatF, који ће ове године бити организован путем webex платформе.
На овом догађају 23 компаније, пријатељи Катедре за рачунарство и инфоматику, имаће прилику да се представе и пруже увид у студентске праксе, стипендије, могућности запослења и стипендирања, као и друге видове сарадње за које верујемо да ће студентима бити занимљиве и пре свега корисне.
Линк за приступ догађају, компаније које ће учествовати и друге информације могу се наћи на страници: www.it.matf.bg.ac.rs
Видимо се у што већем броју!
Семинар Катедре за рачунарство и информатику, 26. мај 2022.
Наредни састанак Семинара биће одржан у четвртак, 26. маја 2022, у учионици 718 Математичког факултета са почетком у 18 часова.
Предавач: Андрија Новаковић
Наслов предавања: DEMYSTIFYING SUCCINCT ARGUMENTS OF KNOWLEWDGE (SNARKs)
Партнери Математичког факултета
