Destinus là một công ty hàng không vũ trụ và quốc phòng châu Âu, phát triển các hệ thống bay tự hành cho các ứng dụng dân sự và quốc phòng. Được thành lập vào năm 2021, công ty thiết kế và sản xuất các công nghệ hàng không hoạt động ở nhiều dải tốc độ, bao gồm cả các nền tảng siêu vượt âm trong tương lai. Công việc đa ngành của Destinus kết hợp kỹ thuật thân máy bay, động cơ phản lực tua-bin, phần mềm điều khiển bay, trí tuệ nhân tạo và thiết kế hệ thống hoàn chỉnh. Khi mở rộng đội ngũ, Destinus mang đến cơ hội đóng góp vào quá trình phát triển các hệ thống máy bay tự hành, hiệu quả và tốc độ cao.
Nhà nghiên cứu học máy, chứng nhận an toàn hàng không
Nghiên cứu các bảo đảm an toàn toán học cho AI điều khiển chuyến bay tự hành tại Destinus và Daedalean. Kết nối lý thuyết học thống kê với các khuôn khổ chứng nhận hàng không của EASA.
Mô tả
- Xem xét và xây dựng chiến lược chứng nhận cho học máy có giám sát.
- Đối chiếu các bảo đảm toán học, lập luận kỹ thuật và đánh giá mô hình với quy trình chứng nhận AI hình chữ W của EASA.
- Nghiên cứu lý thuyết học thống kê, các giới hạn tổng quát hóa và những bảo đảm dành cho mạng nơ-ron sâu trong điều kiện thực tế luôn thay đổi.
- Sử dụng thống kê và quá trình ngẫu nhiên để mô hình hóa sự bất định của môi trường và nhiễu cảm biến, đồng thời đánh giá độ tin cậy của các chỉ số hiệu năng.
- Thẩm định tài liệu nghiên cứu, chứng minh toán học và giả định kỹ thuật theo tiêu chuẩn phản biện khoa học.
- Xây dựng luận cứ kỹ thuật và lập luận logic phục vụ kiểm toán an toàn và các khuôn khổ chứng nhận.
- Viết mã Python có thể tái lập để kiểm tra giả thuyết, xác thực phương pháp chứng nhận và đối chuẩn các khuôn khổ an toàn mô hình.
Yêu cầu
- Am hiểu sâu về lý thuyết học thống kê, các giới hạn tổng quát hóa và nền tảng toán học của mạng nơ-ron sâu.
- Có nền tảng vững chắc về xác suất nâng cao, mô hình hóa thống kê và quá trình ngẫu nhiên.
- Thành thạo Python và có khả năng viết mã rõ ràng, có thể tái lập; có thể học các kỹ năng lập trình cơ bản trong công việc nếu có nền tảng lý thuyết vững chắc.
- Có khả năng nghiên cứu tài liệu chuyên sâu, xác định những khoảng trống trong nghiên cứu AI hiện nay và chuyển hóa khái niệm học thuật thành khuôn khổ kỹ thuật; có thể rèn luyện năng lực này nếu có nền tảng định lượng vững chắc.
- Có kinh nghiệm hoặc khả năng tham gia phản biện, bao gồm đánh giá nghiêm túc các chứng minh toán học, giả định thuật toán và bài báo nghiên cứu.
- Đang theo học hoặc mới hoàn thành bằng thạc sĩ hay tiến sĩ về Khoa học máy tính, Toán học, Thống kê lý thuyết, Kỹ thuật điện, Vật lý hoặc lĩnh vực nghiên cứu định lượng liên quan.
- Có tư duy phản biện và luôn hoài nghi một cách lành mạnh trước các giả định của học máy cũng như độ chính xác thực nghiệm.
- Có năng lực xuất sắc trong việc xây dựng lập luận logic chặt chẽ và luận cứ kỹ thuật thuyết phục.
- Có động lực giải quyết các bài toán toán học giao thoa giữa khoa học máy tính lý thuyết, kỹ thuật an toàn và hoạt động bay thực tế.