Sign in to access this service

Join OwlIndex or sign in to view full service details, contact info, and application options.

Sign In Sign Up

Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology
Sweden

Summary

Early-career researcher role combining LLM-driven code generation with formal methods to deliver provably correct, high-performance software for secure, distributed and cloud-based systems.

Description

Sign in or sign up to view this description.

Sign In Sign Up

Contact Information

Sign in or sign up to view contact information.

Sign In Sign Up

Additional Information

Sign in or sign up to view additional information.

Sign In Sign Up

Location

Sign in or sign up to view location details.

Sign In Sign Up