At the Technical Faculty of IT and Design, the Department of Computer Science at Aalborg University has a fully-funded postdoc position for two years available. The candidate will be working on formal verification of neural-network control policies. The expected starting date is May 1, 2025, but a later date can be negotiated.

QUALIFICATION REQUIREMENTS

Appointment as Postdoc presupposes scientific qualifications at PhD–level or similar scientific qualifications. The research potential of each applicant will be emphasized in the overall assessment. Appointment as a Postdoc cannot exceed a period of four years in total at Aalborg University.

Please refer the Job description for details