Destinus je európska letecká a obranná spoločnosť, ktorá vyvíja autonómne letové systémy pre civilné a obranné aplikácie. Spoločnosť bola založená v roku 2021 a navrhuje a vyrába letecké technológie pre rôzne rýchlostné rozsahy vrátane budúcich hypersonických platforiem. Jej multidisciplinárna činnosť spája konštrukciu drakov lietadiel, prúdový pohon, letový softvér, umelú inteligenciu a komplexný návrh systémov. S rozširovaním tímu Destinus ponúka príležitosti podieľať sa na vývoji autonómnych, efektívnych a vysokorýchlostných leteckých systémov.
Výskumník strojového učenia pre certifikáciu bezpečnosti letectva
Skúmajte matematické záruky bezpečnosti umelej inteligencie pre autonómne lietanie v spoločnostiach Destinus a Daedalean. Prepájajte štatistickú teóriu učenia s certifikačnými rámcami letectva EASA.
Popis
- Posudzujte a rozvíjajte certifikačné stratégie pre strojové učenie s učiteľom.
- Zlaďte matematické záruky, technické argumenty a hodnotenia modelov s procesom certifikácie umelej inteligencie EASA v tvare W.
- Skúmajte štatistickú teóriu učenia, hranice generalizácie a záruky pre hlboké neurónové siete v meniacich sa podmienkach reálneho sveta.
- Pomocou štatistiky a stochastických procesov modelujte neistotu prostredia a šum snímačov a posudzujte mieru spoľahlivosti výkonnostných metrík.
- Posudzujte odbornú literatúru, matematické dôkazy a inžinierske predpoklady s dôslednosťou vedeckého recenzného konania.
- Vypracúvajte technické zdôvodnenia a logické argumenty pre bezpečnostné audity a certifikačné rámce.
- Píšte reprodukovateľný kód v jazyku Python na testovanie hypotéz, overovanie certifikačných metód a porovnávanie rámcov bezpečnosti modelov.
Požiadavky
- Dôkladne rozumiete štatistickej teórii učenia, hraniciam generalizácie a matematickým základom hlbokých neurónových sietí.
- Máte pevné základy v pokročilej teórii pravdepodobnosti, štatistickom modelovaní a stochastických procesoch.
- Ovládate jazyk Python a dokážete písať zrozumiteľný a reprodukovateľný kód; pri pevných teoretických základoch sa môžete základné programovanie naučiť aj počas práce.
- Dokážete dôkladne preskúmať odbornú literatúru, identifikovať medzery v súčasnom výskume umelej inteligencie a prevádzať akademické poznatky do inžinierskych rámcov; s pevnými kvantitatívnymi základmi sa to môžete naučiť.
- Máte skúsenosti s recenzovaním alebo schopnosť vykonávať ho vrátane kritického hodnotenia matematických dôkazov, predpokladov algoritmov a výskumných prác.
- Študujete alebo ste nedávno ukončili magisterské či doktorandské štúdium informatiky, matematiky, teoretickej štatistiky, elektrotechniky, fyziky alebo príbuzného kvantitatívneho výskumného odboru.
- Kriticky uvažujete a zachovávate si zdravú mieru skepticizmu voči predpokladom strojového učenia a empirickej presnosti.
- Vynikajúco dokážete vytvárať podložené logické argumenty a technické zdôvodnenia.
- Motivujú vás matematické problémy na rozhraní teoretickej informatiky, bezpečnostného inžinierstva a reálnej letovej prevádzky.