[TYPES/announce] PhD scholarship for compiler verification

Nuno Lopes nuno.lopes at tecnico.ulisboa.pt
Tue Sep 6 05:16:39 EDT 2022

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:

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

Nuno Lopes

More information about the Types-announce mailing list