Xin vui lòng xem xét việc áp dụng nếu bạn:-Có thu được hoặc sẽ sớm có được một văn bằng Thạc sĩ/văn bằng về khoa học máy tính hoặc một chủ đề liên quan: TU Darmstadt tìm kiếm sinh viên quan tâm tham gia các phòng thí nghiệm phần mềm tại TU Darmstadt là nghiên cứu sinh. Các phòng thí nghiệm phần mềm tiến hành nghiên cứu tại giao điểm của công nghệ phần mềm và ngôn ngữ lập trình, với một tập trung vào các công cụ và kỹ thuật để xây dựng đáng tin cậy, hiệu quả, và phần mềm bảo mật. Tổng hợp các lĩnh vực nghiên cứu bao gồm: phân tích chương trình năng động; Tĩnh chương trình phân tích và kiểm tra trường hợp thế hệ.
đang được dịch, vui lòng đợi..