Postdoc: Build Trustworthy AI-Generated Code

Karlstad University; Stockholms kommun; Sur place; SEK 442 184 - 663 276; Plein temps

Résumé du poste

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.

Responsabilités

• 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.

Connaissances

Collaboration with researchers

Independent work

Awareness of diversity and gender equality

Formation

Doctoral degree or equivalent

Description du poste

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.