[소프트웨어안전공학연구실 석사 신입생 모집]
페이지 정보
작성자 김미영 댓글 조회 작성일 23-05-25 09:57본문
[소프트웨어안전공학연구실 석사 신입생 모집]
소프트웨어안전공학연구실(SSELAB, 지도교수:최윤자) 은 소프트웨어에 진심인 신입생들을 모집합니다.
SSELAB 은 수준높은 소프트웨어의 개발, 특히 안전한 소프트웨어의 개발을 위한 분석/검증 기법을 연구하고 있으며 해당 분야에서 국내 최고의 기술수준을 자랑하고 있는 연구실입니다.
컴퓨터 소프트웨어 분야에서 진정한 전문가가 되기를 원하는 학생들의 지원을 기다립니다.
1. 연구분야
- 내장형 소프트웨어의 안전성 검증 기법
- 능동학습을 이용한 소프트웨어 모델 및 스펙 자동 생성
- 프로그램 합성기법을 이용한 모델검증 효율향상
2. 연구환경
- SSELAB 소속 석박사 과정 연구원들은 소프트웨어재난연구센터(staar.knu.ac.kr) 에 참여할 수 있으며, 참여도에 따라 월 180만원 이상의 인건비를 지원함
- 센터 참여와 별도로 BK21+ 장학금 지원 대상
3. 지원자격
- 컴퓨터학부에서 개설된 소프트웨어설계, 소프트웨어공학, 소프트웨어 테스팅이론, 컴파일러 중 두 과목 이상 이수한 자
- 프로그래밍을 통한 문제해결에 관심있는 자
- 이산수학, 오토마타 등 기초이론 과목들에서 B+ 이상을 받은 자
4. 홈페이지 및 문의
- 연구실 홈페이지: sselab.knu.ac.kr
- 문의: yuchoi76@knu.ac.kr
- 기타: 첨부파일 참조
[이 게시물은 최고관리자님에 의해 2024-07-29 17:27:20 공지사항에서 이동 됨]
첨부파일
- 최윤자_소프트웨어안전공학연구실국문.pdf (295.2K) 56회 다운로드 | DATE : 2023-05-25 09:57:03
댓글목록
등록된 댓글이 없습니다.