본문 바로가기 주메뉴 바로가기

공지사항

구글로 퍼가기 프린트하기
총 게시글 62
12

MSRI-NIMS Summer School 참가신청 안내 2015-04-21

MSRI-NIMS Summer School on Random Matrix Theory 참가신청 안내 1. 개요 미국 Berkeley 소재 Mathematical Sciences Research Institute(MSRI)와 국가수리과학연구소(NIMS)가 공동 주최하는 Random Matrix Theory 여름학교가 6월 29일(월)부터 7월 10일(금)까지 대전 국가수리과학연구소에서 개최됩니다.   이번 여름학교는 대학원 과정 학생들에게 Random Matrix Theory를 소개하고 기본적인 이론들을 가르쳐 주고자 개최되었습니다. 여름학교 동안 세 분의 저명한 수학자가 3가지 주제에 관해 수업을 진행할 예정입니다. Jinho Baik (University of Michigan), Sasha Sodin (Tel Aviv University) and Jun Yin (Univeristy of Wisconsin, Madison)   수업 외에도 토론 및 연습 시간이 주어질 것이며, 참가자들은 다른 학생들 또는 교수님들과 자유롭게 교류할 수 있을 것입니다.   참고: 이번 여름학교는 오직 대학원 과정 학생들만을 대상으로 개최됩니다.   2. 지원 방법 참가를 희망하는 학생들은 저희 여름학교 홈페이지를 통해 온라인 접수를 해주시기 바랍니다. 접수 마감 기한은 5월 15일입니다. 작성 서류   ① Application form (신청서류, 영문으로 작성) 1부            ② Expectations for participating program (신청서류, 영문으로 작성) 1부            ③ Concluding remark (참가 완료 후 결과보고서 제출시 사용, 영문으로 작성) 1부            ④ Recommendation letter (지도교수 추천서, 지도교수가 직접 이메일로 송부 (camphelp@nims.re.kr)   3. 경비 지원 여름 학교의 참석자 수가 엄격히 정해져 있는 관계로, 지원자 중 서류 통과자에 한하여 여름 학교에 참석하실 수 있습니다. 참석자 발표는 5월 30일 여름학교 홈페이지에 공지되며, 참석자들에게 개별 통보 될 예정입니다. 참석자들께는 숙식 및 경비가 전액 지원됩니다.   4. 문의사항 문의사항이 있으신 분들께선 언제든지  연락 주시기 바랍니다. 전화번호: +42-828-5821 이메일: camphelp@nims.re.kr 홈페이지: camp.nims.re.kr

자세히보기

10

공공기관 고객만족도조사 관련 개인정보 제3자 제공사항 알림 2014-11-25

ㅇ 국가수리과학연구소는 정보주체의 동의, 법률의 특별한 규정 등 「개인정보보호법」제17조 및 제18조에 해당하는 경우에만 개인정보를 제3자에게 제공합니다. ㅇ 국가수리과학연구소는 다음과 같이 개인정보를 제3자에게 제공하고 있습니다. - 제공일자 : 2014. 11. 20. - 제공의 법적 근거 : 「개인정보보호법」제18조제2항제2호, 「공공기관 운영에 관한 법률」제13조제2항, 동법시행령 제17조제3항 - 제공받는 자의 개인정보 이용 목적 : 공공기관의 고객만족도조사를 위한 국가수리과학연구소의 서비스를 직접 경험한 자에 대한 설문조사 실시 - 제공하는 개인정보 항목 : 서비스 받은 업무명, 고객사명(법인), 성명, 성별, 연령대(필요시), 직급, 전화번호, 주소 - 제공받는 자의 보유기간 : 2014년도 공공기관 고객만족도조사 완료시까지

자세히보기

9

NIMS 콜로퀴움 (유진녕 원장/9.25(목)오후4시) 2014-09-16

연사: 유진녕 원장(LG화학 기술연구원) 일시: 9월 25일(목) 오후 4시 장소: 국가수리과학연구소 수학원리응용센터(CAMP) 제목: First Mover 창출을 위한 기술 혁신과 조직 문화

자세히보기

8

9월 NIMS 산업문제세미나(보험개발원 노건엽 박사/14.9.17(수)) 2014-09-11

산업과 수학간 교류 활성화 및 연구협력 강화를 위한 NIMS 산업문제세미나에 다양한 분야의 연구자분들(학부/대학원생 포함)을 초대합니다. [ 9월 NIMS 산업문제세미나 ] 1. 연사: 노건엽 박사(보험개발원 계리 및 리스크 팀) 2. 일시: 2014년 9월 17일(수) 16:30~17:30 3. 장소: 국가수리과학연구소 수학원리응용센터 세미나실 4. 제목: 보험에서 수리과학 적용 사례 보험상품은 대수의법칙(the law of large numbers)이라는 확률론적 방법에 기반하여 만들어지는 금융상품으로 수리과학이 필수적인 역할을 합니다. 최근에는 금융공학 및 빅데이터 분석방법 등과 결합하여 다양한 적용사례를 보여 주고 있습니다. 보험상품에 내재된 옵션평가, 현금흐름 평가를 위한 장기 이자율 시나리오 생성, 클러스터링을 이용한 보험계약 군집화 등 실제사례를 통하여 보험에서 수리과학이 어떻게 활용되고 있는지 설명할 것입니다. 또한 보험산업에서 수리과학의 역할과 전망에 대해서 논의해 보려 합니다.   - 세부사항 및 약도는 별첨을 참고하시기 바랍니다 -

자세히보기

7

8월 NIMS 산업문제세미나(삼성전자 이원석 상무/14.8.28(목)) 2014-08-27

8월의 NIMS 산업문제세미나를 아래와 같이 공지하오니, 많은 관심과 참석 바랍니다. 이원석 상무님은 SIAM에서 발간한 'Mathematics in Industry' 보고서의 집필에 참여하신 분으로, 수학의 산업적 기여에 관한 흥미로운 사례 소개 및 유익한 제언을 해주실 것으로 기대하고 있습니다. [ 8월 NIMS 산업문제세미나 ] 1.연사: 이원석 상무(삼성전자 Software R&D Center) 2.일시: 2014년8월28일(목) 오전 11시 3.장소: 국가수리과학연구소수학원리응용센터세미나실 4.제목: Applied Mathematics in Industry, an Example - Fluid Flow within Microchannels with Superhyhobic Walls Abstract: Superhyhobic micro-structured surfaces utilize a combination of chemical treatment and microscale surface topography to increase the hyhobicity of a surface. Superhyhobic surfaces exhibit a number of interesting properties such as dramatically decreased wettability and reduced friction in laminar flows. These characteristics make them a potential enabling technology for a variety of applications including microfluidics, lab-on-a-chip devices, self-cleaning surfaces, and reduction. In this talk, we discuss the reduction capability of the microstructured surfaces to understand the fundamental interfacial phenomena that allow these surfaces to exhibit such properties. Along with experimental efforts, numerical simulations and theoretical studies have been conducted. Among those parallel efforts, in this seminar, we focus on the analytic solution method using conformal mapping to solve pressure driven fluid flow problems under mixed boundary conditions within microchannel.

자세히보기

6

NIMS 초청세미나(서울대 허충길교수/14.8.27(목)) 2014-08-27

안녕하십니까. 국가수리과학연구소에서는 사회 각 분야별 이슈와 관련한 전문가 초청 세미나를 통해 전문지식 및 식견을 확대하고자, 아래와 같이 NIMS 초청세미나를 개최하고자 합니다. 많은 참석 부탁드립니다. 1. 연사 : 허충길 교수 (서울대학교 컴퓨터공학부 소프트웨어 이론 연구실) 2. 일시 : 2014년 8월 27일(수) 오후 4시 30분 3. 장소 : 국가수리과학연구소 수학원리응용센터 세미나실 4. 제목 : Mechanization of Proof: From 4-Color Theorem to Compiler Verification 5. 대상 : 관심있는 분은 누구나 참석 가능 Abstract I will give a broad introduction to how to mechanize mathematics (or proof), which will be mainly about the proof assistant Coq. Mechanizing mathematics consists of (i) defining a set theory, (2) developing a tool that allows writing definitions and proofs in the set theory, and (3) developing an independent proof checker that checks whether a given proof is correct (ie, whether it is a valid combination of axioms and inference rules of the set theory). Such a system is called proof assistant and Coq is one of the most popular ones. In the first half of the talk, I will introduce applications of proof assistant, ranging from mechanized proof of 4-color theorem to verification of an operating system. Also, I will talk about a project that I lead, which is to provide, using Coq, a formally guaranteed way to completely detect all bugs from compilation results of the mainstream C compiler LLVM. In the second half, I will discuss the set theory used in Coq, called Calculus of (Inductive and Coinductive) Construction. It will give a very interesting view on set theory. For instance, in calculus of construction, the three apparently different notions coincide: (i) sets and elements, (ii) propositions and proofs, and (iii) types and programs. If time permits, I will also briefly discuss how Von Neumann Universes are handled in Coq and how Coq is used in homotopy type theory, led by Fields medalist Vladimir Voevodsky.

자세히보기

5

연구소 소개 및 채용 예고 2014-07-25

  국가수리과학연구소는 수학을 전문적으로 연구하는 우리나라의 유일한 출연연구소로서 수학 응용을 선도하며 미래 기술을 창조하는 연구기관이 되고자 합니다. 순수와 응용 분야의 우수한 수학자들이 수준 높은 수학을 활발히 연구하며 수학을 활용하는 창의적인 응용을 할 수 있기를 기대합니다. 연구자들이 과학과 공학과 산업체와 소통하며 이 분야들의 발전에 도움이 되는 수학응용문제들을 심도 있게 연구하는 환경과 시스템을 완성해 가려고 합니다. 이런 연구 환경과 시스템에서 높은 수준의 수학 응용을 체득한 유능한 인재들이 다른 분야 연구소나 기업이나 산업체나 대학에 진출해서, 수학이 산업 발달과 삶의 질 향상에 직접적으로 공헌할 수 있는 통로가 되기를 기대합니다. 국가수리과학연구소는 2013년에 제도를 정비하고 수학원리응용센터(CAMP)를 위한 새로운 공간을 확보해서 2014년에 다양한 활동을 계획하고 우수한 인재를 모시고자 합니다. 연구소는 2013년에 연구자들의 처우를 대폭 개선하고, 연구부의 연구주제를 외연을 확장하기 용이한 빅데이터, 이산수학과 최적화, 생물수학, 거대과학계산, 수리적 영상처리로 선정하여, 세부 전공이 무엇이든 높은 수준의 수학 연구 훈련을 받은 연구자들이 수학의 응용에 공헌하며 역량을 키울 수 있도록 했습니다. 또한 수학원리응용센터를 출범시켜 수학 연구 교류를 활성화하며 수학과 산업체, 수학과 과학기술계가 협력하는 프로그램을 진행하고 있습니다.   국가수리과학연구소는 미국의 IMA, MSRI, 일본의 AIMR(고등재료연구소)와 공동으로 계절학교와 workshop을 기획하고 있고, 다수의 저명한 수학자들이 석학교수와 방문교수, workshop이나 conference 연사로 연구소를 장기 또는 단기로 방문하기 때문에 수준 높은 연구 교류를 매우 활발히 할 수 있습니다.   국가수리과학연구소에 참여하실 수 있는 방법은 다양합니다. NIMS 석학, NIMS Fellow, 방문교수 등으로 활동하실 수 있고, 박사후과정, 전문연구요원(병역특례), 연구원으로 연구 기회를 가질 수 있습니다. 2014년 초에 채용공고를 내기 위해 준비하고 있으니 관심을 가져주시고, 우수한 제자나 동료들을 추천해 주시면 고맙겠습니다. 연구소는 순수수학, 응용수학을 가리지 않고 우수한 연구자 분들을 모시고자 합니다. 처우는 박사후과정의 연봉이 5,000만원 이상이므로 국제적으로도 경쟁력이 있는 수준입니다.   연구소의 채용 기회를 신속하고 정확히 알려 드리기 위해서 이력서를 아래 전자우편 주소로 받고 있으니 관심을 가져 주시기 바랍니다. 특히 2014년에 박사 학위를 받을 예정자들께서도 미리 이력서를 보내 주시면 좋습니다. * 주소: brainpool@nims.re.kr * 채용 계획   - 박사후과정(postdoc), 연봉 5,000만원 이상 (1년 이상 근무할 때 받을 수 있는 퇴직금 포함)   - 전문연구요원(병역특례), 석사 또는 박사, 3명 위의 주소로 자신의 이력서를 보내 주시거나, 국가수리과학연구소에 적합한 연구자를 소개하거나 추천하는 글을 보내 주시면 대단히 고맙겠습니다. 국가수리과학연구소장 김동수 드림

자세히보기

4

NIMS 콜로퀴움 (최재천 원장/6월19일(목)오후2시/CAMP세니마실) 2014-06-19

연사:최재천 (국립생태원 원장) 일시:6월 19일(목) 오후 2시 장소:국가수리과학연구소 수학원리응용센터(CAMP) 세미나실 제목: 자연이라는 복잡계와 수학 – 통섭형 인재

자세히보기

3

제4회 수학문화축전 수학체험교실 프로그램 공모 2014-05-22

[국립과천과학관 공고 제2014-20호] 제4회 수학문화축전 수학체험교실 프로그램 공모    미래창조과학부 국립과천과학관이 주최하고, 국립과천과학관, 고등과학원, 국가수리과학연구소가 주관하는 「제4회 수학문화축전」이 오는 8월 15일(금)부터 8월 17일(일)까지 3일간 국립과천과학관에서 개최됩니다.  이번 축전에서는 수학체험 활동을 통해 수학적 원리를 탐구하고 수학에 대한 호기심과 긍정적 사고를 유도할 수 있는 수학체험부스를 운영하고자 관련 학교 및 단체를 대상으로 수학체험교실 프로그램을 공모하오니 많은 관심과 참여 바랍니다. 1. 참가안내   o 대상  : 초·중·고등학교(교사),수학교사연구회 등   o 모집  : 총 20개 내외 수학체험 프로그램   o 지원  : 수학체험 프로그램 당 150만원 운영비 지원   o 내용  : 수학적 사고를 유도하는 다양한 주제의 체험의 체험·탐구 프로그램   o 신청서 제출     - 신청기간 : 2014. 6. 9(월) ~ 6. 20(금)     - 신청방법 : orange100@msip.go.kr로 이메일 접수       ※ 붙임파일(신청서) 용량은 3MB로 제한   o 제출서류    - [서식 1] 수학체험 프로그램 운영신청서    - [서식 2] 수학체험 프로그램 운영계획서    - [서식 3] 수학체험 프로그램 예산사용계획서   o 선정 및 발표   - 선정방법 : 전문가로 구성된 심사선정위원회 심사를 통해 선정   - 발표일시 : 2014. 7. 4(금), 국립과천과학관 홈페이지 공지 및 개별통보 2. 제공사항   o 체험부스(5m×2m), 테이블, 의자, 전력, 간판 등 운영에 필요한 기본설비 3. 기타사항   o 지원금의 60% 이상은 직접비로 집행해야 한다.    ※ 지원금은 150만원 범위 안에서 사용하며, 행사 완료 후 사후 정산에 따라 해당금액을 부스 운영        책임자 계좌에 입금    ※ 숙박 및 교통비는 별도로 지원되지 않음   o 운영에 필요한 최소인원 5명(책임운영교사 1명 포함)을 확보해야 한다.   o 관람객으로부터 재료비 및 참가비 등은 일체 받을 수 없다.   o 행사가 운영시간 계획에 맞춰 진행될 수 있도록 충분한 재료를 준비하고 참가방법 등을 체계적으로      계획하여 운영한다.   o 학생도우미는 학교장과 학부모의 사전 동의가 있어야 한다.   o 학생도우미는 1일 최대 8시간의 봉사활동을 인정한다. 4. 문의사항   o 국립과천과학관 첨단기술전시과 신유미 주무관(02-3677-1384)  붙임 : 〔서식 1〕수학체험 프로그램 운영신청서          〔서식 2〕수학체험 프로그램 운영계획서          〔서식 3〕수학체험 프로그램 예산사용계획서

자세히보기

이 페이지에서 제공하는 정보에 대해 만족하십니까?

컨텐츠담당자     정책평가실: 권범중 042-717-5762
QUICK MENU
공지사항
NIMS 소식
채용공고
보도자료
입찰공고
IMAGINARY 체험
TOP