Postdoc in Formal Methods for Config Management Languages

UNIVERSITE D'ORLEANS; France; Sur place; EUR 24 000 - 30 000; Plein temps

Résumé du poste

A university in France is seeking a PhD candidate for a position in the field of computer science. The successful candidate will focus on mechanized formal semantics and program transformations using tools such as Rocq. Key qualifications include a PhD in computer science, proficiency in English, and experience with formal methods. The role involves collaboration within the For-CoaLa team, working on cybersecurity and reliability in software applications.

Qualifications

• PhD in computer science is required.
• Experience in formal methods must be evidenced by publications.
• Ability to communicate effectively in English, both verbally and in writing.

Responsabilités

• Contribute to design and development of mechanized formal semantics.
• Ensure correctness of program transformations using relevant tools.
• Disseminate knowledge from the For-CoaLa project.

Connaissances

Ability to work in a team

Written and oral communication skills in English

Experience in formal methods

Proficiency in collaborative tools (Git, LaTeX)

Familiarity with Infrastructure-as-Code tools

Formation

PhD in computer science

Outils

Git

LaTeX

Rocq proof assistant

Description du poste

A university in France is seeking a PhD candidate for a position in the field of computer science. The successful candidate will focus on mechanized formal semantics and program transformations using tools such as Rocq. Key qualifications include a PhD in computer science, proficiency in English, and experience with formal methods. The role involves collaboration within the For-CoaLa team, working on cybersecurity and reliability in software applications.