충북대 소프트웨어 개발 검증 연구실 대학원 신입생 모집 (2025년 후기)

충북대학교 소프트웨어 개발검증 연구실에서 2025년 후기 대학원생 신입생을 모집합니다.
(석사,학석사연계,박사,석박사통합)

SDEV 연구실(Software Development & Verification Methodology Lab)은
안전하고 믿을 수 있는 소프트웨어 엔지니어링을 위한 SW개발 방법론, SW검증 기술을
연구합니다. 최근 연구실에서는 아래의 주제로 연구 프로젝트를 수행하고 있습니다:

- Greybox fuzzing 기술을 활용한 프로젝트 단위 소프트웨어 테스팅 자동화
- 안전 제일 시스템의 사이버 보안을 위한 SW 설계 규정 연구
- LLM 에이전트의 오동작 탐지를 위한 SW 테스팅 기술
- 코드 생성 기법을 활용한 SW 유지보수 자동화

대학원 과정을 통해 이와 같은 연구에 대한 참여하며, 학생인건비를 지원 받을 수 있습니다.
연구실 홈페이지를 통해 발표 논문, 프로젝트 등 보다 자세한 정보를 확인하실 수 있습니다:

https://sdevlab.github.io

충북대 일반대학원의 2025년 후기 신입생 모집 원서 마감(1차)은 5월 30일입니다.
진학에 관심이 있는 분은 hongshin@gmail.com으로 연락 바랍니다.

-홍신