Mô Tả Công Việc
Vị trí này đang tìm kiếm một Nhà Mật Mã Học Nghiên Cứu có tay nghề cao để đóng góp vào việc phát triển và nâng cao các giao thức tin nhắn mạng bảo mật (NMC). Ứng viên lý tưởng sẽ tham gia vào một loạt các hoạt động nghiên cứu mật mã toàn diện, bao gồm phân tích và xác minh các giao thức hiện có, tạo ra các bằng chứng bảo mật mới và tối ưu hóa hiệu suất giao thức. Vai trò cũng sẽ liên quan đến việc khám phá các biến thể giao thức sáng tạo nhằm giải quyết các tình huống bảo mật đa dạng và mô hình đối thủ. Ngoài ra, ứng viên sẽ chịu trách nhiệm xem xét tài liệu kỹ thuật, trình bày kết quả cho các nhóm nội bộ và tham gia vào các buổi động não hợp tác để thúc đẩy các hướng nghiên cứu mới.
Trách Nhiệm Chính
- Tiến hành xác minh nghiêm ngặt các giao thức NMC hiện có để đảm bảo tính mạnh mẽ trước các lỗ hổng và tấn công tiềm ẩn.
- Xem xét và hoàn thiện các tài liệu kỹ thuật như sách trắng, báo cáo nghiên cứu và tài liệu để duy trì tính chính xác và rõ ràng.
- Phát triển và ghi chép các bằng chứng bảo mật mới cho các giao thức NMC đã được thiết lập, sử dụng các kỹ thuật toán học và mật mã tiên tiến.
- Tối ưu hóa các giao thức hiện có để nâng cao hiệu quả, giảm chi phí tính toán và cải thiện khả năng mở rộng cho các ứng dụng thực tế.
- Thiết kế và triển khai các biến thể giao thức đáp ứng các yêu cầu vận hành khác nhau, như giao tiếp đồng bộ/không đồng bộ, mô hình tính toán/ITS (Bảo Mật Tài Sản Trí Tuệ) và các kịch bản đối thủ thụ động/chủ động.
- Hợp tác với các nhóm liên chức năng để thiết kế các giao thức mới từ đầu, tích hợp nghiên cứu mật mã tiên tiến và các phương pháp tốt nhất trong ngành.
- Chuẩn bị và trình bày các bài thuyết trình nội bộ để giáo dục đồng nghiệp về các khái niệm mật mã phức tạp, thiết kế giao thức và phương pháp bảo mật.
- Tham gia vào các buổi động não thường xuyên để khám phá ý tưởng mới, đề xuất giải pháp sáng tạo và đóng góp vào định hướng chiến lược của nghiên cứu mật mã.
- Cập nhật những tiến bộ mới nhất trong mật mã và bảo mật mạng để đảm bảo các giao thức luôn đạt tiêu chuẩn hiện đại và tuân thủ các tiêu chuẩn đang phát triển.
- Ghi chép tất cả các quy trình nghiên cứu, phát hiện và sửa đổi giao thức một cách rõ ràng và có cấu trúc để tham khảo trong tương lai và hợp tác nhóm.
Yêu Cầu Công Việc
- Tiến sĩ về Khoa học Máy tính, Toán học hoặc lĩnh vực liên quan với trọng tâm vào mật mã và bảo mật mạng.
- Chuyên môn được chứng minh trong thiết kế giao thức, bằng chứng bảo mật và phương pháp xác minh chính thức.
- Thành thạo các thuật toán mật mã, bao gồm mã hóa đối xứng/không đối xứng, hàm băm và chữ ký số.
- Kỹ năng phân tích xuất sắc để xác định và giảm thiểu rủi ro bảo mật trong triển khai giao thức.
- Khả năng làm việc độc lập và hợp tác trong môi trường từ xa, với kỹ năng giao tiếp mạnh mẽ cho các bài thuyết trình nội bộ.
- Kinh nghiệm với các công cụ như khung xác minh chính thức (ví dụ: Tamarin, ProVerif), thư viện mật mã (ví dụ: OpenSSL, libsodium) và ngôn ngữ lập trình (ví dụ: Python, C++).
- Hiểu biết về các mô hình đối thủ, bao gồm đối thủ tĩnh/di động, phép toán boolean/số học và các kịch bản tấn công như tấn công phát lại, tấn công trung gian và tấn công kênh bên.
- Kỹ năng giao tiếp bằng văn bản và lời nói mạnh mẽ để diễn đạt các khái niệm kỹ thuật phức tạp một cách rõ ràng và ngắn gọn.
- Khả năng thực hiện đánh giá tài liệu kỹ lưỡng và tổng hợp kết quả từ các bài báo học thuật và ấn phẩm ngành.
- Kỹ năng giải quyết vấn đề xuất sắc để giải quyết các vấn đề mật mã khó khăn và phát triển các giải pháp sáng tạo.
- Thành thạo LaTeX để viết tài liệu kỹ thuật và bài báo nghiên cứu.
- Kinh nghiệm với các nền tảng điện toán đám mây và hệ thống phân tán để kiểm tra và triển khai giao thức.
- Hiểu biết về công nghệ blockchain và các tác động bảo mật của chúng, nếu phù hợp với vai trò.
- Khả năng làm việc với sự giám sát tối thiểu trong khi duy trì tiêu chuẩn cao về độ chính xác và bảo mật.
- Kỹ năng quản lý thời gian mạnh mẽ để đáp ứng thời hạn dự án và các kết quả cần đạt được trong môi trường làm việc từ xa.