Postdoc in AI-based formally verified code generation
Stockholm, Sweden
Application deadline
Aug 31, 2026
19 days left
Job location
Stockholm, Sweden
Confidence 0.350 · Threshold 0.550
Coords 59.33270, 18.06563
Quick Information
Application deadline
Aug 31, 2026(19 days left)
Job location
Stockholm, Sweden
Confidence 0.350 · Threshold 0.550
Coords 59.33270, 18.06563
Job Description
Postdoctoral position combining AI-driven code generation with formal verification methods to create provably trustworthy software, within the EUR 2.5M SAFIR project on secure AI systems for critical sectors.
Related Domains
Related Job Opportunities
Research Assistant (Part Time, Fixed Term)
Applications are invited for a research assistant position in the lab of Dr. Sepiedeh Keshavarzi at the Department of Physiology, Development and Neuroscience…
Research Assistant (In-vivo Scientist) (Fixed Term)
The Hanin Lab, based in the Department of Physiology, Development and Neuroscience at the University of Cambridge, investigates the molecular basis of lactation and early nutrition to understand how…
PhD Studentship: Mitochondrial Metabolism and Novel Therapeutic Strategies for Metabolic Dysfunction-Associated Steatotic Liver Disease (MASLD) (Fixed Term)
Supervisors: Professor Andrew Murray, Department of Physiology, Development and Neuroscience, University of Cambridge Dr Ross Lindsay, Novo Nordisk Funding: Fully funded PhD studentship (Home/UK…
Job
Job location
59.33270, 18.06563Stockholm, Sweden
Confidence 0.350 · Threshold 0.550
Coordinates 59.33270, 18.06563