Destinus je europska zrakoplovna i obrambena tvrtka koja razvija autonomne letačke sustave za civilne i obrambene primjene. Osnovana 2021. godine, tvrtka projektira i proizvodi zrakoplovne tehnologije za različite raspone brzina, uključujući buduće hipersonične platforme. Njezin multidisciplinarni rad objedinjuje konstrukciju zrakoplova, turbomlazni pogon, softver za upravljanje letom, umjetnu inteligenciju i cjelovito projektiranje sustava. Kako Destinus širi svoj tim, pruža prilike za sudjelovanje u razvoju autonomnih, učinkovitih i brzih zrakoplovnih sustava.
Istraživač strojnog učenja za certificiranje sigurnosti zrakoplovstva
Istražujte matematička jamstva sigurnosti umjetne inteligencije za autonomno letenje u tvrtkama Destinus i Daedalean. Povežite teoriju statističkog učenja s certifikacijskim okvirima zrakoplovstva EASA-e.
Opis
- Procjenjujte i razvijajte strategije certificiranja nadziranog strojnog učenja.
- Uskladite matematička jamstva, tehničke argumente i evaluacije modela s EASA-inim W-oblikovanim postupkom certificiranja umjetne inteligencije.
- Istražujte teoriju statističkog učenja, granice generalizacije i jamstva za duboke neuronske mreže u promjenjivim uvjetima stvarnog svijeta.
- S pomoću statistike i stohastičkih procesa modelirajte neizvjesnost okoliša i šum senzora te procjenjujte pouzdanost metrika uspješnosti.
- Procjenjujte znanstvenu literaturu, matematičke dokaze i inženjerske pretpostavke uz rigoroznost stručne recenzije.
- Razvijajte tehnička obrazloženja i logičke argumente za sigurnosne revizije i certifikacijske okvire.
- Pišite ponovljiv Python kod za provjeru hipoteza, validaciju metoda certificiranja i usporedbu okvira sigurnosti modela.
Zahtjevi
- Temeljito razumijete teoriju statističkog učenja, granice generalizacije i matematičke temelje dubokih neuronskih mreža.
- Imate čvrste temelje u naprednoj teoriji vjerojatnosti, statističkom modeliranju i stohastičkim procesima.
- Vladate Pythonom i možete pisati jasan kod koji se može ponoviti; uz snažne teorijske temelje osnovne vještine programiranja možete steći i na poslu.
- Možete temeljito pregledavati literaturu, prepoznavati nedostatke u trenutačnim istraživanjima umjetne inteligencije i pretvarati akademske koncepte u inženjerske okvire; uz čvrste kvantitativne temelje to možete naučiti.
- Imate iskustva ili sposobnost za stručnu recenziju, uključujući kritičku procjenu matematičkih dokaza, algoritamskih pretpostavki i znanstvenih radova.
- Pohađate ili ste nedavno završili diplomski ili doktorski studij računarstva, matematike, teorijske statistike, elektrotehnike, fizike ili srodnog kvantitativnog istraživačkog područja.
- Kritički razmišljate i zadržavate zdravu skepsu prema pretpostavkama strojnog učenja i empirijskoj točnosti.
- Izrazito ste sposobni iznositi valjane logičke argumente i tehnička obrazloženja.
- Motivirani ste rješavati matematičke probleme na sjecištu teorijskog računarstva, sigurnosnog inženjerstva i stvarnih letačkih operacija.