Postdoc in AI-based formally verified code generation

Descrizione

Postdoc in AI-based formally verified code generation Sintesi in italiano (traduzione automatica): L'organizzazione KTH offre una posizione di ricercatore post-dottorato nel campo della generazione di codice verificato formalmente tramite intelligenza artificiale. Il candidato lavorerà nel progetto SAFIR, collaborando con enti come Saab e Nvidia, presso il Dipartimento di Computing and Learning Systems. Le mansioni principali includono la combinazione di metodi di verifica formale con generazione di codice AI, per garantire la correttezza del software. È richiesta una laurea di dottorato o un titolo equivalente, con esperienza nella verifica formale e nell'AI. La posizione è per un massimo di due anni e offre un ambiente di lavoro internazionale e dinamico, con accesso a risorse di supercalcolo. Job description AI is rapidly becoming the primary author of the world's software. Today's models generate code at a speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation raises deep and largely unsolved challenges. As a postdoctoral researcher, you will tackle exactly this question: how to generate code with AI and formally verify that it does what it should. Your work will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent Resilience and Confidentiality in the Cloud), a EUR 2.5M collaborative project between KTH, Saab, Nvidia, Ericsson, Red Hat, CanaryBit and RISE, building next-generation secure and dependable AI for critical domains such as telecom, defence and cloud. You will join the Machine-Intelligence for Networks and Distributed Systems (MINDS) research group at the Department of Computing and Learning Systems, School of Electrical Engineering and Computer Science (EECS), in an international and dynamic environment with strong academic and industrial collaborations. You will have access to international supercomputing resources and a state-of-the-art in-house lab equipped with NVIDIA H100 and A100 GPUs and ten NVIDIA RTX Pro 6000 GPUs. Qualifications Requirements A doctoral degree or an equivalent foreign degree. This eligibility requirement must be met no later than the time the employment decision is made. Candidate is able to collaborate with other researchers. Candidate is able to carry out work to a large degree in independence The candidate should be aware of diversity and equal opportunity issues, with specific focus on gender equality Preferred qualifications A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline Research expertise in formal verification. Research expertise in AI. Great emphasis will be placed on personal skills. Join us at KTH KTH shapes the future through education, research and innovation. As a leading international technical university, we play an active role in advancing the transition towards a sustainable society. At KTH, you have the opportunity to grow and develop in a creative and dynamic environment, with good working conditions and attractive benefits. Equality, diversity and equal opportunities are essential to quality and form an integral part of KTH’s core values as a university and public authority. Learn more about our benefits and what it's like to work and grow at KTH. Trade union representatives Contact information to trade union representatives. To apply for the position Log into KTH's recruitment system to apply for this position. You are responsible for ensuring that your application is complete according to the instructions in the ad. The application must include: CV including relevant professional experience and knowledge. Cover letter, stating your expected date of doctoral graduation (PhD defence). Copy of diplomas and grades from your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages. Brief account of why you want to conduct research, your academic interests and how they relate to your previous studies and future goals. Maximally two pages long. Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time). About the employment The position offered is for, at the most, two years. A position as a postdoctoral fellow is a time-limited qualified appointment focusing mainly on research, intended as a first career step after a dissertation. Other information For information about processing of personal data in the recruitment pr Annuncio in inglese. Fonte: Euraxess (Commissione europea).