2016년 7월 13일 수요일BK21플러스사업단 신진연구인력 채용 공고 서울대학교 컴퓨터공학부 BK21플러스사업단에서는 계약교수 및 박사후연구원을 다음과 같이 채용합니다. 자세한 사항은 http://bkcse.snu.ac.kr(서울대학교 컴퓨터미래인재양성사업단)에서 확인하시기 바라며, 서류제출 시 아래 문서를 다운로드.활용하시기 바랍니다. * BK21플러스 Post-Doc 연구 업적 현황 Download * 박사후연구원 활용계획서 Download 1. 채용 예정인원 : 각 0명 2. 지원자격 -계약교수: 컴퓨터공학 전 분야 박사학위 취득 후 산업체, 교육 또는 연구경력 1년 이상인 자 -박사후연구원: 컴퓨터공학 전 분야 박사학위 취득자 또는 8월 취득 예정자 3. 전형방법 1)1차 : 서류전형 2)2차 : 면접전형 (서류전형 합격자에 한하여 개별통보) 4. 제출서류 - 계약교수 1) CV 2) 심사 대상 연구실적물 가. 최근 3년간 발표된 논문이나 저서 나. 박사학위논문도 가능 다. 학술지에 발표되지 아니한 실적물의 경우엔 학술지 발행기관의 책임자가 발급한 게재예정증명서를 첨부 3) 학력 및 성적증명서(대학 및 대학원) 4) 경력증명서 5) 자기소개서(주요 연구업적과 수상 경력 등) 6) 연구계획서 7) 추천서(동일분야 전공자 1명 이상) - 박사후연구원 1) CV 2) 자기소개서(주요 연구 업적과 수상 경력 등) 3) BK21플러스 Post-Doc 연구 업적 현황 (첨부파일) 4) 업적현황에 기재된 논문 첫 페이지 사본 5) 학위증명서 또는 학위예정증명서 6) 성적 증명서(대학 및 대학원) 7) 추천서(동일분야 전공자 1명 이상) 8) 지도교수의 활용계획서(첨부파일, 지도교수는 서울대학교 컴퓨터미래인재양성사업단 참여 교수여야 함) 5. 접수방법 : 이메일 (jomas@snu.ac.kr) 6. 서류 접수기간 : TO가 생길 경우 매달 말일까지 접수 * TO가 생길 경우 상시채용 예정입니다. 추후 지원의사가 있으신 분은 채용 기간이 아닐지라도 지원 서류를 이메일로 보내주시기 바랍니다. 채용 시 타 지원자들과 함께 심사하도록 하겠습니다. 7. 급여 및 근무조건 -계약교수 1) 급여 : 월 3,500,000원(퇴직금 및 4대보험 개인부담금 포함) 2) 임용기간 : 계약기간은 1년 이내로 하며, 최대 4년까지 계약 가능 3) 임용예정일 : 2016년 9월 중 -박사후연구원 1) 급여 : 월 2,500,000원(퇴직금 및 4대보험 개인부담금 포함) 2) 임용기간 : 계약기간은 1년 이내로 하며, 최대 4년까지 계약 가능 3) 임용예정일 : 2016년 9월 중 8. 문의처 : 사업단 행정실 (02-880-8553) 9. 유의사항 1) 이 공고에 명시되지 않은 사항은 본교 인사관련규정 및 교수공채전형기준에 의함 2) 임용 후 응모자격이나 연구실적 등 임용요건에 하자가 있을 때는 직권으로 임용을 취소할 수 있음...과거 미분류2016년 7월 13일 수요일
2016년 7월 12일 화요일허충길 교수 연구진의 연구성과, 상용 컴파일러에 도입허충길 교수 연구진에서 새로 개발한 분할 컴파일 검증 기술이 세계 유일의 검증된 상용 컴파일러 컴프서트(CompCert)에 도입되었다. 최근 발표된 컴프서트의 최신 버전(CompCert 2.7)에서는 가장 큰 개선으로 허충길 교수 연구진의 연구 성과 ("Lightweight verification of separate compilation", POPL 2016)를 적용한 점을 꼽았다. 컴프서트는 프랑스의 INRIA 연구소에서 개발하고 독일 AbsInt 사에서 상용화한 세계 유일의 검증된 상용 컴파일러로서, 항공기 자동항법 시스템과 같이 안전이 필수인 시스템 분야에 활용이 기대되고 있다. 새로 적용된 기술은 여러 개의 파일로 작성된 소스프로그램을 파일별로 따로 컴파일 하는 경우에도 컴파일 오류가 없음을 검증한 것이다. 기존에는 전체 소스 프로그램이 한 파일로 작성되었을 경우에만 컴파일러 무오류성이 검증되었다. 이번에 허충길 교수팀이 분할 컴파일로 증명을 확장하는과정에서 실제 컴프서트의 분할 컴파일 관련 2개의 오류를 발견하고 이를 수정 후 검증을 완료했다. 이 소식 관련 보다 자세한 내용은 아래의 링크를 통해 확인할 수 있다. 컴프서트 공식 사이트 http://compcert.inria.fr/, https://www.absint.com/compcert/ 컴프서트 2.7 Change Log http://compcert.inria.fr/release/Changelog 검증 기술 소개 페이지 http://sf.snu.ac.kr/sepcompcert/...과거 미분류2016년 7월 12일 화요일
2016년 5월 31일 화요일장병탁 교수, '2016 INAK 사회공헌대상' 수상사단법인 대한인터넷신문협회(INAK. 회장 이치수) 창립 1주년 기념식 및 '2016 INAK 사회공헌대상' 시상식이 5월 31일 오전 11시 한국프레스센터 20층 프레스 클럽에서 개최되었다. 이날 기념식 및 시상식에는 천정배 국민의당 공동대표, 심상정 정의당 대표, 이우현, 진선미, 이원욱, 이동섭 국회의원, 김병립 제주시장, 신동욱 공화당 총재, 이재남 이페스코리아 회장, 장병탁 서울대 교수 등 수상자와 대한인터넷신문협회 회원사 100여명이 참석했다. 이번 '2016 INAK상은 기업부문 참기업인대상'에 이재남 이패스코리아 회장, 국회의정부문 국회의정대상에 더불어민주당 박영선 국회의원, 새누리당 이우현 국회의원, 국민의당 천정배 국회의원, 정의당 심상정 국회의원, 법률부문'에 안대희 전 대법관, 과학기술부문 과학공로대상에 장병탁 서울대 교수, 보건부문 보건공헌대상에 윤도준 동화약품 회장이 수상을 하였다. 이외에도 PressClub부문 인권공로대상에 더불어민주당 진선미 국회의원, 의정공로대상에 이원욱 국회의원, 체육공로대상에 국민의당 이동섭 국회의원, 지방자치공로대상에 김병립 제주시장, 교육공헌대상에 김재호 장안대교수, 청소년교육공헌대상에 송종인 천안북일고 교사가 수상했다....과거 미분류2016년 5월 31일 화요일
2016년 5월 20일 금요일2016년 컴퓨터공학부 교외교육(ComSee) 개최컴퓨터공학부 교외교육(이하 ComSee) 행사가 2016년 5월 20일 ~ 5월 21일 이틀에 걸쳐 충남 서해안 청소년 수련원에서 개최되었습니다. ComSee는 교수•학부생•대학원생들이 자연스럽게 어울려 친목을 도모하는 컴퓨터공학부의 대표적인 행사로서 명랑운동회, 연구실 탐방, 초청 강연, 교수님과의 대화시간, 연극 공연 등 다양한 프로그램으로 구성되어 있습니다. 올해 ComSee에 참가한 260여 명의 학생들은 잠시 학교생활에서 벗어나, 체육행사를 통해 공동체의식을 다지고 바람직한 학창생활과 졸업 후 진로에 대해 함께 생각해보고 의견을 교환하는 뜻깊은 기회를 가졌습니다....과거 미분류2016년 5월 20일 금요일
2016년 5월 13일 금요일학부생 기업 탐방단 - Naver와 TmaxSoft를 가다2016년 5월 13일(금) 오후 1시, 컴퓨터공학부 학부생(복수.부전공생, 자유전공학부생 포함)으로 구성된 30명의 기업체 탐방단이 301동을 출발하였습니다. 오후 2시경 경기도 성남시 분당구 Naver 그린팩토리에 도착하여 도슨트프로그램에 따라 투어를 진행하였고 개발자 문화 및 조직 소개에 이어, 선배와의 대화시간을 가졌습니다. 오후 4시에는 TmaxSoft로 장소를 이동하여 주요 기술에 대한 설명을 듣고 연구소 견학을 진행하였으며, 저녁식사 자리에서 화기애애한 시간을 보내었습니다. 사내 근무 환경을 학생들이 직접 경험하게 함으로써 글이나 입을 통한 경험담보다 현실적인 정보를 얻을 수 있어 유익한 시간이 되었습니다....과거 미분류2016년 5월 13일 금요일
2016년 4월 22일 금요일이창건 교수 연구진, NANS 플랫폼 공개이창건 교수님 연구진이 수년간 개발한 NANS (N-App N-Screen) 플랫폼을 오픈소스 프로젝트로 공개하였습니다. NANS 플랫폼은 안드로이드 단말기에서 복수앱 동시수행(N-App), 복수스크린 동시사용(N-Screen)할 수 있는 기술로서, 관심있는 학생들이 자유롭게 다운받고 활용하여 새로운 창조적 서비스 시나리오나 다중 스크린 앱을 만들어 볼 수 있기를 기대합니다. ◆ 데모 동영상 및 Quick Start Guide 보기 ◆ 이창건교수님의 'RUBIS Lab' 바로 가기...과거 미분류2016년 4월 22일 금요일
2016년 4월 14일 목요일2016학년도 제1차 컴퓨터공학부 교수채용 안내컴퓨터공학부 교수를 다음과 같이 초빙하고자 합니다. 자세한 사항은 아래 『공고문』을 참고하시고 링크된『지원서류 제출 안내』를 확인 후 서류를 작성, 제출해 주시기 바랍니다. * 지원서류 제출 안내 Download 1. 채용분야 및 채용인원 □ 전임교원 학부(과) 채용분야 채용인원 비 고 컴퓨터공학부 컴퓨터 이론 또는 소프트웨어 (Computing Theory or Software) 1 컴퓨터공학부 컴퓨터 시스템 (Computer System) 1 컴퓨터공학부 지능형 컴퓨팅 (Intelligent Computing) 1 2. 지원 자격 가. 박사학위 소지자 또는 박사학위에 상응하는 자격을 인정받거나 박사학위에 준하는 업적이 있는 자로서 본교 교원임용에 결격사유가 없어야 함. 나. 서울대학교 공과대학 전임교원 신규임용규정과 업적기준에 합당한 연구업적이 있어야 함. 서울대학교 공과대학 전임교원 신규임용규정과 서울대학교 공과대학 전임교수 업적기준은 http://eng.snu.ac.kr 참조 (알림광장→자료광장) 3. 임용(계약)기간 가.「서울대학교 교원 인사 규정」등에 의함. 나. 상세내용은 교수채용 홈페이지 (https://professor.snu.ac.kr) 공지사항 참조 4. 심사사항 심사는 두 단계로 진행하며, 각 단계의 심사사항은 다음과 같음. 각 사항의 절차 및 배점은 서울대학교 공과대학 홈페이지 (http://eng.snu.ac.kr) (알림광장→자료광장) ‘공과대학 전임교원 신규임용 시행세칙’을 참조. 가. 기초 및 전공심사 (1단계) 1) 전공분야의 모집분야에 대한 적합성 2) 최근 3년 이내의 연구실적물 3) 총괄연구업적 나. 면접심사 (2단계) 1) 공개발표 또는 공개강의 2) 자기소개서와 교육 및 연구계획서 3) 임용 적합성 5. 제출서류 가. 대학교원공개채용지원서 2부 – 온라인지원(https://professor.snu.ac.kr) - 지원서 작성 시 학력 및 경력사항의 기간 등은 증명서와 일치하여야 하며, 심사대상 연구실적물의 공동저자명(본인 제외)은 한글로 작성함(단, 외국인 저자는 영문으로 작성). - 총괄연구업적목록은 대학원 재학 이후부터 응모 시점까지 발간된 연구 업적물의 목록으로서 제목, 연구자, 발간일, 발표지(권, 호, 쪽) 등을 기재하고 지원서와 함께 2부 제출함. 나. 심사대상 연구실적물 - 편(권)당 7부(1부는 원본, 온라인 출판시에는 인쇄본을 원본으로 간주함) 1) 연구실적물 인정기간 및 제출 편수 응모를 마감하는 월을 기준으로 3년 전 이후(2013년 6월 1일 이후)에 출판(온라인출판 포함)되었거나 출판이 확정된 2편 이상 3편 이하의 연구실적물(다만, 제출하는 연구실적물의 2편 이상은 응모자가 연구실적물의 단독연구저자, 공동연구의 제1저자, 교신저자이어야 한다.) (※ 제출하는 연구실적물이 3편일 경우 1, 2, 3편을 한 세트로 구성 후 총 7부 제출) 2) 연구실적물 인정기준 ① 박사학위 논문: 1인 연구에 준하여 1편의 연구실적물로 인정되나 논문의 전부 또는 일부가 기타 심사대상 연구실적물에 게재된 경우에는 지원자가 선택하여 1편의 심사대상 연구실적물을 제출해야 함. ② 심사를 받은 정규학술지에 게재된 국내외 논문: 총설, 학술회의논문집, 책의 장․절(book chapter)은 제외 ③ 국제특허: 국내특허는 제외 ④ 국제적 수준의 학술회의 논문 : 구체적 기준은 각 전공 학부 사무실에 문의 ⑤ 저서: 대학의 해당 전공과목의 교재 (역서, 편저는 제외) 또는 해당 연구분야의 연구수준 향상에 공헌하는 단행본 (사전류 제외) ⑥ 기타 특수분야(설계, 계획 등)의 실적(※이 항목은 이번 공고에서 해당사항 없음) 3) 기타사항 ① 연구실적물은 출판(게재)일자를 확인할 수 있어야 하며, 출판(게재)일자 확인이 불가능한 경우에는 발표지 표지(출판일자가 표기된 발표지)와 목차를 함께 제출 ② 지원마감일 이후에 출간되는 업적물의 경우 1편에 한하여 출판(게재)예정일이 표시된 출판(게재)증명서를 첨부하면 업적물로 인정되나, 2016. 6. 30.이전에 출판이 되어야 함. ③ 출판(게재)예정증명서를 제출한 논문은 발간 즉시 제출하되, 2016. 6. 30.까지는 반드시 제출하여야 함. 또한, 실제로 출판(게재)된 연구실적물은 응모 시 제출한 연구실적물과 동일하여야 함. (추가․삭제․수정 불인정) 다. 학력 및 성적증명서 (대학 및 대학원) - 각 2부 라. 경력증명서 - 각 2부 마. 자기소개서 - 2부 - 주요 연구 및 교육 실적과 수상경력 등을 5쪽 내외로 작성 바. 교육 및 연구계획서 - 2부 - 강의 가능 과목, 개발하고자 하는 과목 및 중단기 연구계획 등을 5쪽 내외로 작성 사. 추천서 - 각 1부 - 동일분야 전공자 2명 이상, 추천자가 직접 우편 또는 이메일(kimhj@snu.ac.kr)로 발송하여야 함.(지원자 성명과 지원분야 명시) - 이메일 발송 시, 추천인이 날인 또는 서명한 이미지 파일 포맷(pdf, jpg 등)으로 발송하여야 하며, 편집가능한 파일 포맷(hwp, doc 등)은 접수되지 않음. 6. 서류제출기간 및 장소 가. 접수기간: 2016. 4. 27.(수) ~ 5. 11.(수) <기간 중 월~금 10:00~17:00> 나. 장 소: 서울대학교 공과대학 교무행정실 (39동 211호) (우편번호 08826 서울특별시 관악구 관악로 1) 다. 교수채용 홈페이지(https://professor.snu.ac.kr)에 온라인으로 우선 지원하고, 연구실적물 등의 지원서류 일체를 마감일 마감시각까지 우편 또는 직접 제출하여야 함. 라. 우편으로 제출할 경우에는 마감 시각까지 우편물이 도착되어야 유효하며, 우편물의 봉투에 지원 학부와 지원 분야를 반드시 기재 요망(우편 이용 시 우편물의 ‘받는 사람’란에 다음 사항을 확대하여 부착) (우 08826) 서울특별시 관악구 관악로 1 서울대학교 공과대학 교무행정실(39동 211호) 교원인사 담당자 (앞) (T. 02-880-1404) <지원분야 : ㅇㅇ학과(부) ㅇㅇ분야> ※ 영문주소: (39-211) Administration Office, College of Engineering Seoul Natonal University 1 Gwanak-ro Gwanak-gu Seoul 08826, Korea 7. 결과통지 본교 인사규정에 따라 심사하고 결과를 개별적으로 통지함. 8. 임용예정시기 2016년 9월 (전기·정보공학부 전임교원 2017년 3월) 9. 공과대학 교수채용 방침 가. 아래에 해당하는 지원자를 우대함. 1) 학계에서 탁월한 업적을 쌓은 학자로서 교육․연구경력이 상당한 자 2) 새로운 학문분야 혹은 학문영역 간의 협력에 기여할 수 있는 자 나. 임용 후 5년 동안 연 2강좌 이상의 영어 강의를 의무적으로 해야 함. 다. 임용일로부터 2년 이내에 온라인 동영상 강의를 1강좌 이상 진행해야 함. 10. 기타 유의사항 가. 서울대학교 공채개용 지원 시 동일 차수(2016-1차) 2개 이상의 모집분야에 중복 지원할 수 없으며, 중복 지원 시 당해 지원자의 지원을 모두 무효로 하여 심사대상자에서 제외함. 나. 「교원인사규정」 제9조 및 기타 임용관련 규정에 따라 지원자 중 적격자가 없을 경우 임용예정자 선발을 하지 못하는 경우가 있을 수 있으며, 임용예정시기가 조정될 수도 있음. 다. 채용 후에도 응모자격이나 연구실적 등 임용요건에 하자가 있을 때에는 직권으로 임용을 취소할 수 있음. 라. 이 공고에 명시되지 않은 사항은 서울대학교 및 공과대학의 인사 관련 규정 및 교수공채 전형기준에 의함. 마. 제출서류는 원본을 제출하여야 함. (영어 이외의 외국어로 발급된 증명서는 번역문 첨부 및 번역자 서명 필요) 바. 신규공채 관련 FAQ는 공과대학 홈페이지(http://eng.snu.ac.kr) -> 공지사항 -> ‘2016학년도 1차 신규공채 FAQ’ 게시물을 참조 하시기 바랍니다.(전화문의 전 참조) 사. 기타 상세한 사항은 서울대학교 공과대학 홈페이지(http://eng.snu.ac.kr)를 참고하시거나 공과대학 교무행정실(02-880-1404, kimhj@snu.ac.kr)로 문의하시기 바랍니다. 2016. 4. 12. 서울대학교 공과대학장...과거 미분류2016년 4월 14일 목요일
2016년 4월 12일 화요일Lunch Talk-장병탁 교수2016년 04월 12일(화) 12:00, 302동 309호에서 장병탁 교수님의 Lunch Talk이 개최되었습니다. 장병탁 교수님께서는 '딥러닝 인공지능 발전과 미래 컴퓨터공학'이라는 주제로 발표하여 주셨습니다. 컴퓨터공학과 SW산업의 기회와 도전은 무엇이고 글로벌 인재를 길러내기 위해서 우리의 교육이 어떻게 혁신되어야 하는지에 대해서 토론하였습니다.그동안의 딥러닝 인공지능 연구를 여러 학부 교수님들과 공유하는 매우 뜻깊은 자리가 되었습니다....과거 미분류2016년 4월 12일 화요일
2016년 4월 6일 수요일전기전자컴퓨터 분야 '과거 10대' '미래 7대' 기술 조사서울대학교 전기·정보공학부와 컴퓨터공학부에서는 개교 70주년을 맞아, 전기·전자·컴퓨터 분야에서 우리나라의 발전을 견인해 온 과거 10대 기술과 앞으로 세계의 미래기술로 부각될 미래 7대 기술을 선정하고자 합니다. 이는 지난 70년 동안 이루어온 우리나라의 눈부신 전기·전자·컴퓨터 기술 발전상을 살펴봄과 동시에 향후 세계를 이끌어 갈 전기·전자·컴퓨터 기술의 발전 방향을 조망해 보고자 하는 것입니다. 이렇게 선정된 기술은 언론 등을 통해 홍보될 것이며, 특히 미래 기술에 대해서는 전문가의 특강을 갖고 이를 홍보할 예정입니다. '과거 및 미래 전기전자컴퓨터 분야 7(10)대 기술 후보 제안 게시판' 바로 가기...과거 미분류2016년 4월 6일 수요일
2016년 3월 31일 목요일Lunch Talk-최승렬 박사2016년 03월 31일(목) 12:00, 302동 309호에서 구글 최승렬 박사님의 Lunch Talk이 개최되었습니다. 구글 검색 엔진 인프라 연구 개발을 지난 10년 간 수행해 오신 최승렬 박사님이 우리 학부를 방문해서 'The Lifecycle of Software Engineers in Silicon Valley' 라는 주제로 세미나를 하셨습니다.그동안의 엔진 인프라 연구를 여러 학부 교수님들과 공유하는 매우 뜻깊은 자리가 되었습니다....과거 미분류2016년 3월 31일 목요일