&<소프트웨어안전공학 연구실 학부생 인턴 및 석사과정 지원자 모집&>

소프트웨어안전공학 연구실(담당교수: 최윤자)에서는 의욕있는 학부생 연구 인턴 및 대학원 석사과정 지원자를 아래와 같이 모집합니다.

- 모집인원: 2~3명

- 자격:

1. (학부생 인턴) 컴퓨터학부 3학년 1학기 과정을 끝마친 재학생

2. 소프트웨어설계, 소프트웨어공학 중 한 과목에서 B+ 이상의 학점을 받은 학생

3. 컴파일러 수업 이수자 우대

- 프로젝트 내용: 소프트웨어 자동검증 기술 개발

- 프로젝트에서 요구되는 역할 (예시)

1. 자동검증 도구의 수정 및 유지보수 (Java programming )

2. 검증기법과 자동검증 도구의 사용법 학습 및 적용 실험 수행 (C 언어 및 모델링 언어)

- 참여기간 : 2018년 6월 말부터 (6개월 이상 참여가능자 우대)

- 지원마감: 2018년 6월 8일 금요일

- 지원요령: 다음사항을 간략하게 작성하여 kdw9242@gmail.com 으로 이메일 지원

1. 지원자 학번과 이름, 학년, 학점 평점(참고용)

2. 소프트웨어설계/소프트웨어공학 수강 연도, 학점 및 담당 교수이름

3. (학부인턴의 경우) 관심분야, 희밍 참여기간, 주당 희망 참여시간

- 장학금 지원:

1. 학부생: 주당 참여시간 및 능력에 따라 월 최대 100만원까지 차등지원

2. 석사과정: 능력에 따라 월 최대 180만원까지 차등지원

- 기타 문의사항: 최윤자(yuchoi76@knu.ac.kr), 김동우(kdw9242@gmail.com)