[TYPES/announce] PhD scholarship for compiler verification

[Nuno Lopes]

Dear students,

We have an open call for one PhD scholarship for automated compiler verification. This is a 4-year position at the University of Lisbon / INESC-ID (Portugal).
The position is fully funded by the Portuguese science foundation.

I'll be the advisor. Potential candidates should consult my previous and ongoing work on my website: https://urldefense.com/v3/__https://web.ist.utl.pt/nuno.lopes/__;!!IBzWLUs!XAnQx_3NKo3T4Xy8T3CnSGfJiZGKNmftoSdX64dEfNNRnpPT_A9oTWplfAm1jSTcJDgPg_Fj8oU3Bb3_AIOlAhPBRutTAIUwv9Kk5ZDibZU$  

Candidates *must* contact me before applying, as the application process requires a study plan and a letter from the advisor. Ideally (though not required) you should have some experience with SMT solving and/or compilers (namely LLVM).

The monthly stipend is €1,144.64 (exempt of taxes).
More information about the call here:
https://urldefense.com/v3/__https://www.inesc-id.pt/wp-content/uploads/2022/05/BD_PhD__UIDB_50021_2022_pt_en_dec_2022.pdf__;!!IBzWLUs!XAnQx_3NKo3T4Xy8T3CnSGfJiZGKNmftoSdX64dEfNNRnpPT_A9oTWplfAm1jSTcJDgPg_Fj8oU3Bb3_AIOlAhPBRutTAIUwv9KkkS42ueY$  

The deadline for applications is 15/December, though candidates should contact me well in advance.

Thanks,
Nuno Lopes