Het project betreft een spannende samenwerking met Virginia Tech en het prestigieuze onderzoeksinstituut DARPA. We zijn geïnteresseerd in decompilatie: het ophalen van broncode uit een binary met behoud van een formeel juistheidsbewijs dat alles deugt. Dit zal bottom-up formele verificatie mogelijk maken: het toepassen van formele verificatie op binaries, in plaats van op broncode. Als je interesse hebt in één van de gebieden van formele methoden, compilatie, low level assembly code of reverse-engineering, dan moet je zeker solliciteren.
Uniek aan dit project is:

• Er bestaat momenteel geen formeel geverifieerd decompilatie-instrument! Onderzoek hiernaar kan veel impact hebben, en het project heeft nauwe banden met geïnteresseerde partijen met relevante case studies.
• Je maakt deel uit van een groot team van postdocs en PhDs die aan hetzelfde project werken.
• Het is een nauwe samenwerking tussen een Nederlandse universiteit, een Amerikaanse universiteit en het Amerikaanse onderzoeksinstituut DARPA. Indien gewenst is er de mogelijkheid van verlengde bezoeken aan de VS.

Van de kandidaat wordt tevens verwacht dat hij/zij voor 10 tot 15% van zijn/haar tijd deelneemt aan onderwijsactiviteiten binnen onze Master Software Engineering en de Bachelor Computer Science. Ook maken valorisatieactiviteiten een aanzienlijk deel uit van de dagelijkse werkzaamheden.

De kandidaat beschikt over een MSc-diploma, bij voorkeur in Computer Science of Software Engineering met aantoonbare affiniteit met formele methoden of reverse engineering. De kandidaat is flexibel, in staat om zelfstandig te werken en is resultaatgericht. Bij voorkeur beheerst de kandidaat de Nederlandse taal (mondeling en schriftelijk); beheersing van de Engelse taal (mondeling en schriftelijk) is een vereiste. Relevante specialisaties op één of meer van de volgende gebieden zijn wenselijk: kunstmatige intelligentie, op zoekopdrachten gebaseerde algoritmen of technieken voor machinaal leren. Bewijs van ervaring met en betrokkenheid bij één van deze gebieden, zoals omvangrijk projectwerk, strekt eveneens tot aanbeveling.

De kandidaat moet sterk gemotiveerd zijn voor een doctoraatsstudie, in staat zijn zelfstandig te kunnen werken en kritische analyses te kunnen maken. Tevens dient de kandidaat te beschikken over communicatieve en samenwerkingsvaardigheden. Onderwijservaring en publicaties zijn niet vereist, maar worden als een voordeel beschouwd als de kandidaat ervaring op deze gebieden kan aantonen

Dienstverband voor bepaalde tijd: voor een periode van 12 maanden. Bij een goede voortgang en goed functioneren zal het dienstverband worden verlengd tot 4 jaar.

Het salaris wordt vastgesteld overeenkomstig salarisschaal P van Bijlage A van de CAO Nederlandse Universiteiten en bedraagt bij aanvang € 2.395,- bruto per maand bij een volledig dienstverband.

De Open Universiteit biedt goede secundaire en flexibele arbeidsvoorwaarden op het gebied van onder andere opleiding en mobiliteit, werken in deeltijd en betaald ouderschapsverlof.

Open Universiteit

Online studeren overal in Nederland en Vlaanderen
De Open Universiteit (OU) is de deeltijduniversiteit van Nederland. Studenten volgen er online activerend onderwijs en binnen de verschillende wetenschapsgebieden wordt disciplinair onderzoek verricht. Studenten kunnen universitaire bachelor- en masteropleidingen in zeven vakgebieden doorlopen. Kenmerken van het onderwijs zijn openheid, flexibiliteit en kwaliteit. Er is veel aandacht voor verbetering van het studiesucces van studenten. Aan de OU studeren ruim 14.000 studenten en werken 655 medewerkers. De OU heeft vestigingen in Nederland en België (zie https://www.ou.nl/studiecentra). De hoofdvestiging bevindt zich in Heerlen.

De nieuwste technologieën en onderwijskundige inzichten worden toegepast, zowel in de bachelor- en masteropleidingen en cursussen, als in projecten en programma's met partners. Nationaal en internationaal speelt de OU een belangrijke rol in de innovatie van het hoger onderwijs. Het onderwijs is verweven met het onderzoek waardoor tevens wordt gegarandeerd dat de actuele stand van de wetenschap wordt verwerkt. De OU investeert niet alleen in onderzoek in de vakgebieden van de opleidingen, maar ook in onderzoek op het gebied van leren, doceren en technologie.

Tevreden studenten
In de Nationale Studenten Enquête (NSE), de Keuzegids Universiteiten (vergelijking waardering van studenten en experts voor bacheloropleidingen van de veertien universiteiten) en de Keuzegids Masters scoort de OU al jaren op rij een topnotering in de lijst van de veertien Nederlandse universiteiten. Bovendien staan alle opleidingen hoog in de ranglijsten van de universiteiten voor de betreffende studierichtingen. Alle beoordelingen staan op de OU-website (www.ou.nl).

Faculteit Bètawetenschappen

De faculteit Bètawetenschappen is één van de zes faculteiten van de OU van Nederland. Onderwijs, onderzoek en valorisatie zijn de belangrijkste hoofdtaken. De faculteit biedt academische bachelor- en masteropleidingen aan op het gebied van Informatica, Informatiekunde, Milieuwetenschappen, en een masteropleiding Kunstmatige Intelligentie is momenteel in ontwikkeling. Het onderzoeksprogramma van de faculteit richt zich op Innovating for Resilience. Verder is de faculteit partner in het Center for Actionable Research van de OU (CAROU). De faculteit heeft Ph.D.-studenten die onderzoek doen naar verschillende actuele onderwerpen binnen het onderzoeksprogramma. Door de focus op onderzoek dat vervlochten is met onderwijs en door de nauwe band met de praktijk, biedt het werk aan onze faculteit veel innovatieve en uitdagende mogelijkheden voor ondernemende onderzoekers.’

Vakgroep Informatica
De vakgroep Informatica is een enthousiaste en ambitieuze groep van ongeveer 35 mensen (29 fte) die zich richt op kunstmatige intelligentie, onderwijs- en leertechnologie, softwarekwaliteit, en beveiligings- en privacyvraagstukken. De groep draagt bij aan deze uitdagingen door middel van excellent onderzoek en online onderwijsprogramma's, waarbij een grote diversiteit aan onderwerpen aan bod komt, zoals bijvoorbeeld deep learning toepassingen in de industrie, intelligente tutoring systemen, privacy-bewuste technologieën, reinforcement learning, e-health toepassingen, Bayesiaanse netwerken, cyber-security, geautomatiseerd software testen en verantwoorde AI. De onderzoekslijnen van de vakgroep zijn vastgelegd in het onderzoeksprogramma " Towards high quality and intelligent software " voor 2020-2025. Onze online academische onderwijsprogramma's, ontvangen al jaren op rij de hoogste onderscheidingen in het land binnen dit domein