과학기술정보통신부가 주최하고 한국지능정보사회진흥원이 주관하는 「제24회 대학생프로그래밍경시대회」를 개최합니다 가. 대회목적: 대학생 대상으로 문제해결, 알고리즘 설계 능력을 발휘 할 수 있는 기회제공 및 디지털 인재 양성·발굴을 위한 대회 개최 나. 대회개요 o 참가 자격: 대학교(원) 재학생 3인 및 지도교수 1명으로 구성된 1팀(전공무관) o 예선 대회 - 등록기간 : 2024.9.13.(금) ~ 9.27.(금) - 일정/장소 : 2024.10.25.(금)...
Date: 2024. May 22 Time: 4 pm Location: 104 E204 Seminar Title: Automatic Safety Analysis of Smart Contracts Speaker: Prof. Sunbeom So / GIST Host: Jooyong Yi Abstract: In this talk, I will introduce our research on smart contract analysis. Smart contracts are attractive targets for attackers and even a single flaw...
Date: 2024. February 28th Time: 4 pm Location: 104 E204 Seminar Title: Data-driven Symbolic Execution Speaker: Prof. Sooyoung Cha / Sungkyunkwan University Abstract: Symbolic execution is a popular software testing method to achieve high code coverage and find bugs. The basic idea of symbolic execution is to replace...
Date: 2024. January 5th Time: 3 pm Location: 104 E101 Seminar Title: Statistical Program Analysis Speaker: Dr. Seongmin Lee, Researcher at Max Planck Institute Abstract: When facing a problem that is too complex for the analytical method, especially when it is unmanageable to compute a quantity exactly, a sampling-based statistical...
컴퓨터공학과 대학 ICT 연구센터육성지원사업에서 UNIST 학생들의 창의 자율과제 운영을 위한 '창의자율과제'를 공모합니다. 아래 공모내용에 많은 관심 부탁드립니다. 가. 목적 - 창의성 및 자기주도적 문제해결능력을 갖춘 융.복합 미래인재 육성 - 차세대 데이터센터 컴퓨팅 분야 연구수행을 통한 연구활동 경험 확대 - 연구팀(연구동아리) 중심의 활동 장려를 통한 새로운 교내 학습문화 구축 나....
2024 교수채용을 위한 UNIST 컴퓨터공학과 교원 인력 풀 (POOL) 모집 공고 UNIST(울산과학기술원) 컴퓨터공학과에서 2024 교수채용을 위하여 유능한 컴퓨터공학 분야의 신진 및 중견 교수님을 초빙하고자 아래와 같이 해당 분야 전문가 인력풀(POOL)을 공개 모집 하오니 관심있는 분들의 적극적인 참여 부탁드립니다. 등록된 정보는 인력 풀 모집에만 활용되며 추후...
Artificial Intelligence Machine Learning Mobile Computing Human-computer Interaction...
Furiosa AI Hackathon https://furiosa-aihackathon.imweb.me/index...
Together with POSCO! 도전과 협업을 통해 더 큰 성장을 이루어나갈 인재분들과 함께 합니다! 지금 바로 상세 공고를 확인해 보세요! ■ 접수기간 '23.9.1(금) ~ 9.19(화) 15:00 ■ 채용기업 포스코, 포스코인터내셔널, 포스코퓨처엠, 포스코DX, 포스코A&C, 포스코IH ■ 채용 공고 확인 https://www.withposco2023.com/...
