PhD Candidate on Formal Methods for Safe AI- NL
- Hiring Organisation
- Universiteit Leiden
- Location
- Leiden, Zuid-Holland, Netherlands
- Employment Type
- Permanent
- Salary
- EUR Annual
Mathematics, Logic, and Algorithms) Strong programming skills (willingness to learn verification toolchains and develop software prototypes); Proficiency in English, both spoken and written (Dutch is not required, but LIACS does subsidize optional Dutch language courses); What We Offer A full-time position for the duration … thesis, personal capabilities and compatibility, the appointment will be extended by a further three years. This contract falls under the CLA of Dutch Universities; A salary between € 3.059,- and € 3.881,- gross per month, based on a full-time appointment (38 hours) (Payscale P); A holiday allowance ...