Destinus adalah perusahaan kedirgantaraan dan pertahanan Eropa yang mengembangkan sistem penerbangan otonom untuk aplikasi sipil dan pertahanan. Didirikan pada tahun 2021, perusahaan ini merancang dan memproduksi teknologi penerbangan dalam berbagai rentang kecepatan, termasuk platform hipersonik masa depan. Pekerjaan multidisiplinnya memadukan rekayasa badan pesawat, propulsi turbojet, perangkat lunak penerbangan, kecerdasan buatan, dan perancangan sistem lengkap. Seiring Destinus memperluas timnya, perusahaan ini menawarkan kesempatan untuk berkontribusi pada pengembangan sistem pesawat otonom, efisien, dan berkecepatan tinggi.
Peneliti Pembelajaran Mesin, Sertifikasi Keselamatan Penerbangan
Teliti jaminan keselamatan matematis untuk AI penerbangan otonom di Destinus dan Daedalean. Hubungkan teori pembelajaran statistik dengan kerangka sertifikasi penerbangan EASA.
Deskripsi
- Tinjau dan kembangkan strategi sertifikasi untuk pembelajaran mesin terawasi.
- Selaraskan jaminan matematis, argumen teknis, dan evaluasi model dengan proses sertifikasi AI berbentuk W EASA.
- Teliti teori pembelajaran statistik, batas generalisasi, dan jaminan bagi jaringan saraf dalam kondisi nyata yang terus berubah.
- Gunakan statistika dan proses stokastik untuk memodelkan ketidakpastian lingkungan serta derau sensor, dan menilai tingkat keyakinan pada metrik kinerja.
- Nilai literatur penelitian, bukti matematis, dan asumsi rekayasa dengan ketelitian penelaahan sejawat.
- Kembangkan justifikasi teknis dan argumen logis untuk audit keselamatan dan kerangka sertifikasi.
- Tulis kode Python yang dapat direproduksi untuk menguji hipotesis, memvalidasi metode sertifikasi, dan membandingkan kerangka keselamatan model.
Persyaratan
- Memiliki pemahaman mendalam tentang teori pembelajaran statistik, batas generalisasi, dan landasan matematis jaringan saraf dalam.
- Memiliki dasar kuat dalam probabilitas tingkat lanjut, pemodelan statistik, dan proses stokastik.
- Mahir menggunakan Python dan mampu menulis kode yang jelas serta dapat direproduksi; keterampilan pemrograman dasar dapat dipelajari saat bekerja jika memiliki landasan teori yang kuat.
- Mampu melakukan tinjauan literatur secara menyeluruh, mengidentifikasi kesenjangan dalam penelitian AI saat ini, dan menerjemahkan konsep akademis menjadi kerangka rekayasa; kemampuan ini dapat dipelajari dengan landasan kuantitatif yang kuat.
- Memiliki pengalaman atau kemampuan dalam penelaahan sejawat, termasuk menilai secara kritis bukti matematis, asumsi algoritmik, dan makalah penelitian.
- Sedang menempuh atau baru saja menyelesaikan gelar magister atau doktor di bidang Ilmu Komputer, Matematika, Statistika Teoretis, Teknik Elektro, Fisika, atau bidang penelitian kuantitatif terkait.
- Mampu berpikir kritis dan menjaga sikap skeptis yang sehat terhadap asumsi pembelajaran mesin dan akurasi empiris.
- Sangat cakap dalam menyusun argumen logis dan justifikasi teknis yang kokoh.
- Termotivasi untuk menangani masalah matematis yang mencakup ilmu komputer teoretis, rekayasa keselamatan, dan operasi penerbangan di dunia nyata.