경상남도 거점국립대학인 경상국립대학교 IT공과대학 소프트웨어공학과(2024년 IT공과대학 신설)에서는 AI소프트웨어분야에서 교육, 연구, 산학협력을 이끌어 갈 우수 교원을 초빙합니다. 본 학과의 전신인 항공우주및소프트웨어공학부는 2021년-2022년 이공계열 학과평가 최근 2년 연속 1위를 받은 학과로 우수한 교원과 학생으로 구성되어 있습니다. 고급인력 양성을 위한 대학원의 경우, 항공우주소프트웨어공학 분야에 특화된 핵심교과과정을 운영 중이며, 동시에 소프트웨어 교원을 중심으로 4단계 BK21의 AI융합공학과를 운영하여 우수한 석박사 연구인력을 배출하고 있습니다. 또한 울산-경남 지역혁신 플랫폼 사업으로 신진교수 연구 인프라 구축을 위한 개인 2억원 이내의 연구실 구축을 지원하고 있습니다. 기타 빅데이터 혁신융합인재, 항공-드론 혁신융합인재 사업에 참여하고 있습니다. 향후 항공우주를 포함한 다양한 분야를 융합하는 AI 소프트웨어분야에서 교육, 연구, 산학협력을 열정적으로 주도할 전문가 분들의 지원을 적극적으로 환영합니다.

□ 채용분야: AI소프트웨어 전분야 1명
□ 지원조건: 접수마감일 기준 3년 이내에 발표한 연구실적물로서 SCIE 논문 게재 실적이 200% 이상(주저자 논문 2편 이상 포함)인 사람. 단, BK 우수학술대회를 포함하여 IEEE, ACM, 또는 USENIX 학술단체가 주관하는 국제학술대회 구두 발표 논문은 SCIE 논문과 동일하게 취급함

□ 지원서 접수: 2024년 10월 24일(화) ~ 11월 9일(목) 18:00
– 수기로 제출하는 서류는 없고, 모든 서류는 시스템에 입력하고 탑재 요망

□ 지원서 제출 홈페이지: https://ais.gnu.ac.kr/jsp/APR/apply.jsp
□ 초빙 공고: https://www.gnu.ac.kr/main/na/ntt/selectNttInfo.do?nttSn=2205702&mi=1129

□ 주요 일정
– 2023년 11월 9일(목) 18시: 인터넷 접수 마감
– 2023년 12월 18일(월) ~ 22일(금): 공개 세미나
– 2024년 1월 8일(월) ~ 10일(수): 외국어 구사능력검증 및 면접심사
– 2024년 1월 12일(금): 최종합격자 발표

□ 학부 소개: https://www.gnu.ac.kr/anse/main.do
□ 문의
– 항공우주및소프트웨공학부 강혜진 조교 (it@gnu.ac.kr 055-772-1370)
– 항공우주및소프트웨공학부장 김재호 교수 (jaeho.kim@gnu.ac.kr)

1. 초빙분야 및 인원
– 학부: SW대학 컴퓨터공학부
– 초빙분야: 소프트웨어공학
– 초빙인원: 1명
 
2. 지원자격
(공통조건)
– 해당 초빙 관련분야 박사학위 소지자
– 사립학교 교원 임용에 결격사유가 없고, 병역을 필하였거나 면제된 자
– 공통 지원 자격과 학부에서 요구되는 세부 자격 기준을 모두 충족한 자 (추가사항)
– 영어강의 가능자
– 초빙공고일 기준 최근 4년간(2019. 5. 10. ~ 2023. 5. 23.) 전문학술지 게재실적 100%이상
[지원자격 논문실적 산출시 국제전문학술지(SCIE, AHCI, SSCI, SCOPUS) 및 국내전문학술지(등재후보지 제외)에 한하며, 최종학위논문은 제외]
 
3. 지원서 접수
가. 인터넷(온라인) 접수
– 지원서 접수(온라인): 2023.5.10(수) 13:00 ~ 2023.5.24.(수) 14:00
– 서류 접수(방문 또는 우편): 2023.5.24.(수) 14:00까지 도착 분
서류 접수처: (우15073) 경기도 시흥시 산기대학로 237(정왕동) 한국공학대학교 행정동 101호 교무팀 교원인사담당자
[전화: 031-8041-0012/ E-mail: Lsb8808@tukorea.ac.kr]
나. 접수 방법
– 채용사이트에서 지원서(기본사항, 학력, 경력, 연구실적 등) 작성 제출
(채용사이트(https://apply.tukorea.ac.kr)접속 → 해당교원 메뉴 클릭 → 지원분야 선택 → 지원하기 메뉴 선택 → 이메일주소/비밀번호 입력 → 신규지원 버튼 클릭)
– 지원서 접수를 완료한 지원자는 서류 접수일까지 지원서와 연구실적물을 지참하여 우편제출 또는 방문제출
 
다. 인터넷 공지: https://bit.ly/423XxbM
 
* 학부 문의: 이상호 교수 (010-5651-0424, sangho@tukorea.ac.kr)

Korea Conference on Software Engineering 2023 (KCSE2023)

“건강하고 안전한 사회를 위한 소프트웨어공학 기술”

https://sigsoft.or.kr/kcse2023/

[프로그램북v1.3] [KCSE2023 Proceedings V3]

▣ 행사개요

▣ 일시: 2023년 2월 8일(수) ~ 2월 10일(금)
▣ 주최: 한국정보과학회, 한국정보처리학회
▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
▣ 장소: 강원도 휘닉스 평창 한화리조트
▣ 후원: ㈜STA테스팅컨설팅, ETRI, ㈜솔루션링크, ㈜비트컴퓨터, ㈜이에스지, ㈜ 다한테크, 브이플러스랩㈜, 슈어소프트테크㈜, 한국정보통신기술협회, KOSTA한국소프트웨어기술진흥협회, 모아소프트, T3Q㈜, SPID

▣ 모시는 글

소프트웨어공학 학술대회(KCSE 2023) 참가자 여러분을 환영합니다. KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다.
이번 제25회 학술대회는 “건강하고 안전한 사회를 위한 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 48편의 엄선된 논문으로 구성하였으며, 2023년 2월 8일부터 3일간에 걸쳐 진행합니다. 이번 KCSE 2023 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 다양한 프로그램으로 진행하고자 하오니 여러분의 많은 관심과 참여를 부탁드립니다.

한국정보과학회 소프트웨어공학 소사이어티 회장 고인영
한국정보처리학회 소프트웨어공학연구회 운영위원장 이은서

▣ 기조강연

  • 기조강연 1: “Software Safety: Growing Need, Status, and Research Issues”, 민상윤 협회장(소프트웨어와 사회안전협회)
  • 기조강연 2: “Software Engineering and Software Safety: My Journey”, 차성덕 교수(고려대학교)

▣ 튜토리얼

  • 배경민 (POSTECH): “분산시스템의 정형명세 및 모델검증” [발표자료]
  • 김동환 (LIG 넥스원): “Model-Based System Engineering: 무기체계 개발을 중심으로”
  • 박찬진, 백규승 (오브젠): “인과추론 기술과 소프트웨어 공학 적용” [발표자료 1] [발표자료 2]

▣ 우수 국제학회/학술지 초청 논문발표

  • “PyTER: Effective Program Repair for Python Type Errors”, FSE 2022, 오원석(고려대)
  • “Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis”, FSE 2022, 박지혁(KAIST)
  • “STLmc: Robust STL Model Checking of Hybrid Systems using SMT”, CAV 2022, 유근열(POSTECH)
  • “Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing”, ICSE 2023, 이명호(고려대)
  • “Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations”, ICSE 2023, 김종욱(고려대)
  • “Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction”, ICSE 2023, 윤주연(KAIST)
  • “Fonte: Finding Bug Inducing Commits from Failures”, ICSE 2023, 안가빈(KAIST)
  • “Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs”, ICSE 2023, 홍재민(KAIST)
  • “Predictive Mutation Analysis via Natural Language Channel in Source Code”, TOSEM 2022, 김진한(KAIST)
  • “Arachne: Search Based Repair of Deep Neural Networks”, TOSEM 2023, 강성민(KAIST)
  • “MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software,” Software Testing, Verification and Reliability 2022, Lingjun Liu(슈어소프트테크)

▣ 신진 연구자 초청 발표

  • 안성수 박사(한국과학기술정보연구원): “목표지향과 기계학습 기반 접근방식을 활용한 기업의 문제가설 검증”
  • 박예슬 박사(현대자동차): “디바이스 로그 기반 시계열 데이터 분석 방법”

▣ 협력 워크숍

  • ETRI 차세대 엣지컴퓨팅SW 연구사업

▣ 참가등록

  • 참가등록비

구분일반학생학부/주니어
사전등록250,000원190,000원80,000원
현장등록270,000원210,000원100,000원

  • 논문발표자는 오프라인 참가등록 및 발표를 원칙으로 합니다.
    • 단, 부득이한 사정으로 오프라인 발표가 불가한 경우, 발표 동영상 제출 가능 (학술위원장의 허가 필요)
  • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록, 숙박안내 및 오시는 길: https://www.kiise.or.kr/conference/conf/121/ 2023년 1월 27일 (금) 1월 31일(화) 까지
  • 참가등록문의: 한국정보과학회 오다름 주임 (Email: dareum89@kiise.or.kr, Tel. 070-4800-4012)
    • 납입증명서, 참가확인서(행사종료 후) 요청 가능
  • 기타문의
    • 행사관련: 전북대학교 류덕산 교수 (Email: duksan.ryu@jbnu.ac.kr, Tel. 063-270-4805)
    • 논문관련: KAIST 지은경 교수 (Email: ekjee@se.kaist.ac.kr, Tel. 042-350-7810)

▣ 프로그램

프로그램북 다운로드: [V1.3 PDF] , 프로시딩 다운로드: [KCSE2023 Proceedings]

▣ 학술대회 조직 구성

  • 대회장: 고인영 교수 (KAIST), 이은서 교수(안동대)
  • 조직위원장: 류덕산 교수 (전북대)
  • 조직위원: 김순태 교수(전북대), 김정아 교수(가톨릭관동대), 남재창 교수(한동대), 백종문 교수(KAIST), 유철중 교수(전북대), 이은서 교수(안동대), 이지현 교수(전북대), 강성주 박사(ETRI), 권원일 대표(STA테스팅컨설팅), 민상윤 대표(솔루션링크), 이해서 대표(ESG), 전진옥 사장(비트컴퓨터)
  • 학술위원장: 지은경 교수(KAIST)
  • 학술위원: 김동선 교수(경북대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 박사(ETRI), 김택수 박사(삼성전자), 마유승 박사(ETRI), 박수진 교수(서강대), 배경민 교수(POSTECH), 서영석 교수(영남대), 서주영 교수(아주대), 오학주 교수(고려대), 유신 교수(KAIST), 윤회진 교수(협성대), 이석원 교수(아주대), 이선아 교수(경상대), 이우석 교수(한양대), 이우진 교수(경북대), 이은주 교수(경북대), 이정원 교수(아주대), 이주용 교수(UNIST), 이찬근 교수(중앙대), 이희진 교수(한국폴리텍대학), 정우성 교수(서울교대), 채흥석 교수(부산대), 최윤자 교수(경북대), 한종대 교수(상명대), 홍신 교수(한동대), 홍장의 교수(충북대)

▣ KCSE2023 후원 업체

2023 한국 소프트웨어공학 학술대회 (KCSE 2023) 논문 모집

“건강하고 안전한 사회를 위한 소프트웨어공학 기술”
KCSE2023 Main: https://sigsoft.or.kr/kcse2023

▣ 행사개요

– 일시:2023년 2월 8일(수) ~ 2월 10일(금)
– 주최: 한국정보과학회, 한국정보처리학회
– 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
– 장소: 강원도 휘닉스 평창 한화리조트
– 후원: ㈜STA테스팅컨설팅, ETRI, ㈜솔루션링크, ㈜비트컴퓨터, ㈜이에스지, ㈜ 다한테크, 브이플러스랩㈜, 슈어소프트테크㈜, 한국정보통신기술협회, KOSTA한국소프트웨어기술진흥협회, 모아소프트, T3Q㈜, SPID

▣ 모시는 글

한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2023 한국 소프트웨어공학 학술대회 (KCSE 2023)”가 2023년 2월 8일부터 2월 10일까지 개최됩니다. 이번 행사에서는 “건강하고 안전한 사회를 위한 소프트웨어공학 기술건강하고 안전한 사회를 위한 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 이에 아래와 같이 논문을 모집하오니 여러분의 많은 참여를 부탁드립니다.

▣ 논문 모집 분야
아래 나열된 분야를 포함하여 소프트웨어공학 전 분야의 논문을 모집합니다.

▣ 논문 접수
논문 성격에 따라 아래와 같은 트랙으로 구분하여 접수합니다.

– 일반(Regular) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (8-10쪽)
– 단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (2-4쪽)
– 산업체 논문: 소프트웨어 공학의 각종 기법을 실제 업무에 적용한 논문 (4-8쪽 논문 또는 발표자료)
– 박사학위 논문: 2021년도 이후에 소프트웨어공학 분야의 박사학위를 취득했거나 예정인 논문 (2쪽)
– 학부생 논문: 학부생이 수행한 프로젝트, 이론/실험, 아이디어 위주의 논문 (4-8쪽 논문)
– 튜토리얼 제안서: 개인이나 팀을 구성하여 제안

※ 제출된 일반논문 중 우수논문을 선정하여 한국정보과학회 논문지 및 한국정보처리학회 논문지에 게재 추천

▣ 주요 일정

– 튜토리얼 제안서 접수: 2022년 12월 16일(금) 연장: 2023년 1월 3일(화)
– 논문 접수 마감: 2022년 12월 27일(화) 2023년 1월 3일(화) 연장(최종): 2023년 1월 8일(일)
– 심사 결과 통보: 2023년 1월 17일(화) -> 2023년 1월 20일 (금)
 2023년 1월 20일 (금)
– 최종 원고 제출: 2023년 1월 24일(화) -> 2023년 1월 27일 (금)

2023년 1월 27일 (금) 

– 단, 코로나 바이러스 방역상의 이유로 오프라인 발표가 불가한 경우, 발표 동영상 제출 가능 (학술위원장의 허가 필요)

▣ 논문 및 제안서 제출

– 논문 양식: https://sigsoft.or.kr/category/자료실/기타
– 논문 제출: https://easychair.org/conferences/?conf=kcse2023
– 튜토리얼 제안서는 학술위원장에게 이메일로 제출해주시기 바랍니다.
– 기타 문의 사항 연락처: KAIST 지은경 (ekjee@se.kaist.ac.kr, 042-350-7810)

▣ 학술 대회 조직 구성

• 대회장: 고인영 (KAIST), 이은서 (안동대)
• 조직위원장: 류덕산 (전북대)
• -조직위원: 김순태(전북대), 김정아(가톨릭관동대), 남재창(한동대), 백종문(KAIST), 유철중(전북대), 이은서(안동대), 이지현(전북대), 강성주 박사(ETRI), 권원일 대표(STA테스팅컨설팅), 민상윤 대표(솔루션링크), 이해서 대표(ESG), 전진옥 사장(비트컴퓨터)

• 학술위원장: 지은경 (KAIST)
– 학술위원: 김동선 교수(경북대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 박사(ETRI), 김택수 박사(삼성전자), 마유승 박사(ETRI), 박수진 교수(서강대), 배경민 교수(POSTECH), 서영석 교수(영남대), 서주영 교수(아주대), 오학주 교수(고려대), 유신 교수(KAIST), 윤회진 교수(협성대), 이석원 교수(아주대), 이선아 교수(경상대), 이우석 교수(한양대), 이우진 교수(경북대), 이은주 교수(경북대), 이정원 교수(아주대), 이주용 교수(UNIST), 이찬근 교수(중앙대), 이희진 교수(한국폴리텍대학), 정우성 교수(서울교대), 채흥석 교수(부산대), 최윤자 교수(경북대), 한종대 교수(상명대), 홍신 교수(한동대), 홍장의 교수(충북대)

KCSE2023 후원 업체