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...
[한화에어로스페이스] 수제버거와 즐기는 런치 채용설명회 안내 - 참가자 전원 1만원 상당 선물 증정 - 수제버거 햄버거 증정 ■ 일정 : 3월 26일(화) 12:10 ■ 장소 : 유니스트 104동 *세부장소는 사전신청하신 분들에 한해 별도 안내드릴 예정입니다. 사전신청 바로가기 : https://hanwhaaerospace-recruit.com/ ...
[전형절차 및 일정] 전형 및 일정은 변동될 수 있으며, 세부 일정은 합격자에 한해 개별 안내 예정입니다. 서류접수 ▶ 코딩테스트 ▶ 조직적합도 검사 및 AI면접 ▶ 직무/인성 통합면접 ▶ 합격자 발표 / 채용검진 ▶ 인턴십 지원서 접수 | '24.3.6(수) 11:00 ~ '24.3.24(일) 15:00 ※ 한화인 채용 페이지 (www.hanwhain.com)을 통한 온라인...
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)을 공개 모집 하오니 관심있는 분들의 적극적인 참여 부탁드립니다. 등록된 정보는 인력 풀 모집에만 활용되며 추후...
Furiosa AI Hackathon https://furiosa-aihackathon.imweb.me/index...
