충북대 소프트웨어 개발 검증(SDEV) 연구실 대학원생 모집

충북대학교 소프트웨어 개발검증 연구실(SDEV 연구실, http://sdevlab.github.io)에서 석사, 학석사연계, 석박사연계, 박사 과정으로 진학할 신입생을 모집합니다.

2025년 상반기 진학에 관심이 있는 학생은 2024년 10월 30일까지 hongshin@gmail.com으로 연락주시기 바랍니다. 상담을 통해 진학에 대해 안내드리겠습니다(충북대학교 일반대학원 원서접수는 2024년 10월 30일~11월 8일 일정으로 진행됩니다).

SDEV 연구실(Software Development & Verification Methodology Lab)은 안전하고(Safe & Secure) 믿을 수 있는(Reliable) 소프트웨어를 만들기 위한 과학적이고 기술적인 방법을 개발하고, 소프트웨어 오류를 효과적으로 찾고 해결하는 방법론을 연구합니다. 최근 우리 연구실은 다음의 주제를 중심으로 연구한 연구 프로젝트를 수행 중에 있습니다:

- Greybox Fuzzing 기술을 바탕으로 한 소프트웨어 프로젝트 테스팅 자동화
- 자동 테스팅 기술을 기반으로 한 제어 시스템 검증
- 소스코드 코드 생성 기술을 이용한 디버깅 자동화

대학원에 진학하는 학생은 이와 같은 연구에 대한 연구개발 프로젝트에 참여할 수 있으며, 이를 통해 학생인건비를 지원 받을 수 있습니다.

SDEV 연구실에서 발표한 논문, 수행하는 프로젝트 등 자세한 정보는 연구실 홈페이지를 참고하시기 바랍니다: https://sdevlab.github.io