Solliciteer op de functie van PhD on GPU accelerated symbolic reasoning about software systems
1. Kun je aangeven waar je deze vacature voor het eerst hebt gezien? *
Academic Positions
LinkedIn post op tijdlijn
LinkedIn vacatures
Research Gate
TU/e werken bij site
Academic Transfer
Netwerk: collega/familie/vrienden
Overig
2. Ik ben momenteel medewerker van de Technische Universiteit Eindhoven *
Ja
Nee
3. Ik studeer momenteel aan de Technische Universiteit Eindhoven *
Ja
Nee
4. Kun je bevestigen dat je géén formele functie, samenwerking of enige andere band hebt met medewerkers van gesanctioneerde universiteiten, instituten of onderzoekscentra: EU sancties regime? Als je dit kunt bevestigen, klik dan op ‘ja’. *
Ja
Nee
5. Ik verklaar alles naar waarheid te hebben ingevuld *
Ja
Nee
6. Have you developed, or did you contribute to the development of, academic software tools? *
Yes
No
7. Do you have any experience with GPU programming? *
Yes
No
8. Did you follow any courses on formal verification (for instance, model checking or program verification) during your studies? *
We gebruiken cookies voor het inloggen, het verbeteren van de gebruikerservaring, het delen van links en in sommige gevallen voor marketing en het verzamelen van statistieken.