What is this opportunity about?

Job descriptionAI is rapidly becoming the primary author of the world's software. Today's models generate code at a speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI...

When is the application deadline?

The deadline for this postdoc position is August 31, 2026.

What funding is available?

This opportunity offers "Salary funded" funding.

Visit the original posting at https://euraxess.ec.europa.eu/jobs/450798 for the full application details and to apply directly.

Postdoc in AI-based formally verified code generation · ScholarshipHunter

FacultyComputer ScienceItalyExpired

LUISS G. Carli Post-doctoral research contract 02/PHYS-04 - Theoretical Physics Of Matter, Models, Mathematical Methods And Applications Socio-economic processes and dynamics on higher-order networks Opened: 05/09/26 Closes: 07/10/26

Academic Jobs Italy

Posting details available on the source page.

Dec 30, 2010Open

FacultyComputer ScienceItalyExpired

Uni. La Sapienza of Rome Post-doctoral research contract 02/PHYS-05 - Astrophysics And Cosmology, Earth- Space- And Climate Physics DEVELOPMENT OF KINETIC INDUCTANCE DETECTORS AND THEIR OPTICAL COUPLING FOR THE COSMO EXPERIMENT Opened: 15/09/26 Closes: 15/10/26

Academic Jobs Italy

Posting details available on the source page.

Dec 30, 2010Open

FacultyComputer ScienceItalyExpired

INGV - National Inst. Geophysics and Volcanology Post-doctoral research contract 01/INFO-01 - Informatics 01/MATH-01 - Mathematical Logic, Mathematics Education And History Of Mathematics 01/MATH-04 - Mathematical Physics 02/PHYS-02 - Theoretical Physics Of Fundamental Interactions, Models, Mathematical Methods And Applications 02/PHYS-03 - Experimental Physics Of Matter And Applications 04/GEOS-04 - Geophysics Show all Dynamic Planet: Geosciences for understanding the mechanisms governing

Academic Jobs Italy

Posting details available on the source page.

Dec 30, 2010Open

FacultyComputer ScienceFinlandActive

3 Senior Lecturers or University Teachers, Software Engineering and Data Science

Academic Positions

The Faculty of Information Technology is seeking Senior Lecturers / University Teachers in...

Sep 30, 2026Open

Postdoc in AI-based formally verified code generation

Details

Related guides

How to Find Postdoctoral Positions Worldwide: A Complete Guide

Top 10 Postdoc Programmes in the World (All Fields)

Related opportunities

LUISS G. Carli Post-doctoral research contract 02/PHYS-04 - Theoretical Physics Of Matter, Models, Mathematical Methods And Applications Socio-economic processes and dynamics on higher-order networks Opened: 05/09/26 Closes: 07/10/26

Associate Professor of Computer Science

Uni. La Sapienza of Rome Post-doctoral research contract 02/PHYS-05 - Astrophysics And Cosmology, Earth- Space- And Climate Physics DEVELOPMENT OF KINETIC INDUCTANCE DETECTORS AND THEIR OPTICAL COUPLING FOR THE COSMO EXPERIMENT Opened: 15/09/26 Closes: 15/10/26

3 Senior Lecturers or University Teachers, Software Engineering and Data Science