Postdoc: Build Trustworthy AI-Generated Code

Karlstad University; Stockholms kommun; On-site; SEK 442,184 - 663,276; Full time

Job summary

Karlstad University is seeking a postdoctoral researcher to explore AI-based code generation and formal verification. This role is crucial for developing trustworthy software within the SAFIR project, collaborating with leading organizations like KTH, Saab, and Nvidia.

The successful candidate will work independently and as part of a diverse team. They will have access to cutting-edge resources, contributing to research that impacts critical domains such as telecom and defense. The position offers an exciting opportunity to grow in a dynamic environment.

Qualifications

• Doctoral degree or equivalent must be obtained before employment decision.
• Able to collaborate with other researchers.
• Capable of independent work.
• Awareness of diversity and equal opportunity issues.

Responsibilities

• Research how to generate code with AI and formally verify it.
• Engage in a collaborative project with industry partners.
• Utilize supercomputing resources and advanced lab technology.

Skills

Collaboration with researchers

Independent work

Awareness of diversity and gender equality

Education

Doctoral degree or equivalent

Job description

Karlstad University is seeking a postdoctoral researcher to explore AI-based code generation and formal verification. This role is crucial for developing trustworthy software within the SAFIR project, collaborating with leading organizations like KTH, Saab, and Nvidia.

The successful candidate will work independently and as part of a diverse team. They will have access to cutting-edge resources, contributing to research that impacts critical domains such as telecom and defense. The position offers an exciting opportunity to grow in a dynamic environment.