Destinus on eurooppalainen ilmailu- ja puolustusalan yritys, joka kehittää autonomisia lentojärjestelmiä siviili- ja puolustussovelluksiin. Vuonna 2021 perustettu yritys suunnittelee ja valmistaa lentoteknologioita useille nopeusalueille, mukaan lukien tulevaisuuden hypersoniset alustat. Monialaisessa työssä yhdistyvät ilma-alusten rakennesuunnittelu, suihkuturbiinimoottorit, lento-ohjelmistot, tekoäly ja kokonaisjärjestelmien suunnittelu. Destinuksen kasvattaessa tiimiään yritys tarjoaa mahdollisuuksia osallistua autonomisten, tehokkaiden ja nopeiden ilma-alusjärjestelmien kehittämiseen.
Koneoppimisen tutkija, lentoturvallisuuden sertifiointi
Tutkit Destinuksen ja Daedaleanin autonomisen lentämisen tekoälyn matemaattisia turvallisuustakuita ja yhdistät tilastollisen oppimisteorian EASA:n ilmailun sertifiointikehyksiin.
Kuvaus
- Arvioit ja kehität ohjatun koneoppimisen sertifiointistrategioita.
- Yhdistät matemaattiset takuut, tekniset perustelut ja mallien arvioinnit EASA:n W-muotoiseen tekoälyn sertifiointiprosessiin.
- Tutkit tilastollista oppimisteoriaa, yleistymisrajoja ja syvien neuroverkkojen takuita muuttuvissa todellisissa olosuhteissa.
- Mallinnat tilastotieteen ja stokastisten prosessien avulla ympäristön epävarmuutta ja anturikohinaa sekä arvioit suorituskykymittareihin liittyvää luottamusta.
- Arvioit tutkimuskirjallisuutta, matemaattisia todistuksia ja teknisiä oletuksia vertaisarvioinnin tarkkuudella.
- Laadit teknisiä perusteluja ja johdonmukaisia argumentteja turvallisuusauditointeja ja sertifiointikehyksiä varten.
- Kirjoitat toistettavaa Python-koodia hypoteesien testaamiseen, sertifiointimenetelmien validointiin ja mallien turvallisuuskehysten vertailuun.
Vaatimukset
- Tunnet syvällisesti tilastollisen oppimisteorian, yleistymisrajat ja syvien neuroverkkojen matemaattiset perusteet.
- Hallitset edistyneen todennäköisyyslaskennan, tilastollisen mallintamisen ja stokastiset prosessit.
- Osaat Pythonin ja kirjoitat selkeää, toistettavaa koodia; perustaidot ohjelmoinnissa voi oppia työssä, jos teoreettinen osaaminen on vahva.
- Pystyt tekemään perusteellisia kirjallisuuskatsauksia, tunnistamaan nykyisen tekoälytutkimuksen puutteita ja soveltamaan akateemisia käsitteitä teknisiin viitekehyksiin; tämän voi oppia vahvalla määrällisellä pohjalla.
- Sinulla on kokemusta vertaisarvioinnista tai valmiudet siihen, mukaan lukien matemaattisten todistusten, algoritmisten oletusten ja tutkimusartikkeleiden kriittinen arviointi.
- Suoritat parhaillaan tai olet äskettäin suorittanut maisterin- tai tohtorintutkinnon tietojenkäsittelytieteessä, matematiikassa, teoreettisessa tilastotieteessä, sähkötekniikassa, fysiikassa tai muulla vastaavalla määrällisellä tutkimusalalla.
- Ajattelet kriittisesti ja suhtaudut terveellä epäilyksellä koneoppimisen oletuksiin ja empiiriseen tarkkuuteen.
- Osaat poikkeuksellisen hyvin rakentaa kestäviä loogisia argumentteja ja teknisiä perusteluja.
- Haluat ratkaista matemaattisia ongelmia, jotka sijoittuvat teoreettisen tietojenkäsittelytieteen, turvallisuustekniikan ja todellisen lentotoiminnan rajapintaan.