Solicitati prntru: PhD on GPU accelerated symbolic reasoning about software systems

E-mail *

Repetați e-mailul *

Prenume *

Nume de familie *

Sex *

Tipuri de fisier acceptate: CV_AND_COVER_LETTER_FILE_FORMATS. Dimensiunea maximă a fișierului: 40MB

Atașați un document CV *

Incarcati sau Introduceti

Încărcați în schimb un CV

Atașați o scrisoare de intenție *

Incarcati sau Introduceti

Încărcați în schimb o scrisoare de intenție

Alte fisiere

Incarcati

I understand that Eindhoven University of Technology may use my personal data for the purpose of carrying out the recruitment work linked to this recruitment matter in accordance with the General Data Protection Regulation (GDPR). Data is stored within the EU/EEA and applies under EU/EEA law. Personal information is stored for 12 months.
In case the vacancy closes within the 12 month period, your personal data will be deleted 4 weeks after closing.

I agree to my data being processed and stored in accordance with Eindhoven University of Technology's privacy statement.

With your application you create an account in our applicant tracking system that is hosted by our external supplier.
When you complete your account with the creation of a password you will be able to manage your account and its data. This will also enable you to delete your account permanently after your application, in case you should prefer this.
Of course, you can keep your account in case you would like to apply to future positions within our university.

I have read and understood the terms for creating a Varbi account and I have also read how Varbi handles my personal data in Varbi's Data Privacy Policy.

STORE_FILES_ON_PROFILE

Depuneti cererea pentru functia de PhD on GPU accelerated symbolic reasoning about software systems

1. Can you tell us where you first saw this vacancy? *

2. I am currently an employee of Eindhoven University of Technology *

3. I am currently a student of Eindhoven University of Technology *

4. Can you confirm that you do not hold any formal position, collaboration, or other affiliation with staff members of sanctioned universities, institutes, or research centers: EU sanctions regime? If you can confirm this, please click ‘yes’. *

5. I declare that I have filled in everything truthfully *

6. Have you developed, or did you contribute to the development of, academic software tools? *

7. Do you have any experience with GPU programming? *

8. Did you follow any courses on formal verification (for instance, model checking or program verification) during your studies? *