Position is available in the area of Computer Science. General areas of research include: Dynamic program analysis, Static program analysis and Test case generation.
Vị trí có sẵn trong lĩnh vực khoa học máy tính. 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ệ.
Chức vụ hiện có sẵn trong lĩnh vực khoa học máy tính. Khu vực chung của nghiên cứu bao gồm: phân tích chương trình năng động, phân tích chương trình tĩnh và thử nghiệm thế hệ trường hợp.