Postdoc: AI-Driven Formally Verified Code

Kungliga Tekniska högskolan; Stockholms kommun; On-site; SEK 400,000 - 500,000; Full time

Benefits offered by this job

Access to international supercomputing resources

Creative and dynamic work environment

Good working conditions and attractive benefits

Job summary

Kungliga Tekniska högskolan is seeking a Postdoc in AI-based formally verified code generation to tackle the challenge of generating trustworthy code with AI. The position offers a dynamic work environment with access to international supercomputing resources and provides an opportunity to engage in critical research collaborations.

The ideal candidate will possess a doctoral degree, have research expertise in AI and formal verification, and demonstrate strong personal skills. We emphasize equality, diversity, and sustainable practices in our academic missions.

Qualifications

• A doctoral degree or an equivalent foreign degree.
• Research expertise in formal verification.
• Research expertise in AI.

Responsibilities

• Generate code with AI and formally verify it.
• Combine modern AI with formal methods.

Skills

Collaboration with researchers

Independent work

Awareness of diversity and equal opportunity

Education

Doctoral degree or equivalent

Job description

Kungliga Tekniska högskolan is seeking a Postdoc in AI-based formally verified code generation to tackle the challenge of generating trustworthy code with AI. The position offers a dynamic work environment with access to international supercomputing resources and provides an opportunity to engage in critical research collaborations.

The ideal candidate will possess a doctoral degree, have research expertise in AI and formal verification, and demonstrate strong personal skills. We emphasize equality, diversity, and sustainable practices in our academic missions.