1. Community
  2. arrow_forward_ios

News

Tags
Search
all
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지

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) 임용 후 응모자격이나 연구실적 등 임용요건에 하자가 있을 때는 직권으로 임용을 취소할 수 있음...
포스트 대표 이미지

허충길 교수 연구진의 연구성과, 상용 컴파일러에 도입

허충길 교수 연구진에서 새로 개발한 분할 컴파일 검증 기술이 세계 유일의 검증된 상용 컴파일러 컴프서트(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 INAK 사회공헌대상' 수상

사단법인 대한인터넷신문협회(INAK. 회장 이치수) 창립 1주년 기념식 및 '2016 INAK 사회공헌대상' 시상식이 5월 31일 오전 11시 한국프레스센터 20층 프레스 클럽에서 개최되었다. 이날 기념식 및 시상식에는 천정배 국민의당 공동대표, 심상정 정의당 대표, 이우현, 진선미, 이원욱, 이동섭 국회의원, 김병립 제주시장, 신동욱 공화당 총재, 이재남 이페스코리아 회장, 장병탁 서울대 교수 등 수상자와 대한인터넷신문협회 회원사 100여명이 참석했다. 이번 '2016 INAK상은 기업부문 참기업인대상'에 이재남 이패스코리아 회장, 국회의정부문 국회의정대상에 더불어민주당 박영선 국회의원, 새누리당 이우현 국회의원, 국민의당 천정배 국회의원, 정의당 심상정 국회의원, 법률부문'에 안대희 전 대법관, 과학기술부문 과학공로대상에 장병탁 서울대 교수, 보건부문 보건공헌대상에 윤도준 동화약품 회장이 수상을 하였다. 이외에도 PressClub부문 인권공로대상에 더불어민주당 진선미 국회의원, 의정공로대상에 이원욱 국회의원, 체육공로대상에 국민의당 이동섭 국회의원, 지방자치공로대상에 김병립 제주시장, 교육공헌대상에 김재호 장안대교수, 청소년교육공헌대상에 송종인 천안북일고 교사가 수상했다....
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지