[TYPES/announce] 2-year Postdoc Position on Frama-C/E-ACSL

://julien.signoles.free.fr/positions/postdoc-eacsl.pdf Feel free to contact me for additional details, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability and Security Lab tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 julien.signo...@cea.fr

[TYPES/announce] [Job] 2-year Postdoc Position on Frama-C/E-ACSL

://julien.signoles.free.fr/positions/postdoc-eacsl.pdf Feel free to contact me for additional details, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability and Security Lab tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 julien.signo...@cea.fr

[TYPES/announce] 2 new postdoc positions on Frama-C at CEA Paris Saclay

://julien.signoles.free.fr/positions/postdoc-ensuresec-security.pdf Best regards, Julien Signoles -- Researcher-engineer | Scientific advisor CEA LIST, Software Reliability and Security Lab | Department of Software and System Engineering tel:(+33)1.69.08.00.18 julien.signo...@cea.fr

[TYPES/announce] Call for Book Chapters: Guide to Software Verification with Frama-C

Kosmatov, Virgile Prevosto, Julien Signoles Description This book aims at presenting Frama-C, an open source platform for analyzing C source code. It fosters collaborations between various techniques, by letting individual analyzers exchange information about the properties they can handle

[TYPES/announce] 3 open positions (2 postdoc, 1 PhD) on runtime verification at CEA LIST, France

: OCaml and C, semantics of programming languages, ... - formal verification: runtime verification, static analysis, ... - compilation: code generation, program transformation, type system, ... Interested applicants should send a CV and a motivation letter to Julien Signoles (julien dot signoles at cea

[TYPES/announce] Multiple open positions (postdoc, PhD, intern) on runtime verification at CEA LIST, France

to Julien Signoles (julien dot signoles at cea dot fr) as soon as possible. Best regards, Julien Signoles -- Researcher-engineer | Scientific advisor CEA LIST, Software Safety and Security Lab | Department of Software and System Engineering julien.signo...@cea.fr

[TYPES/announce] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France

to Julien Signoles (julien dot signoles at cea dot fr). Best regards, Julien Signoles -- Researcher-engineer | Scientific advisor CEA LIST, Software Safety and Security Lab | Department of Software and System Engineering julien.signo...@cea.fr

[TYPES/announce] New postdoc position on Frama-C at CEA List, Saclay, France

-c.com/jobs/2024-04-22-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.html__;!!IBzWLUs!TeHWYDVvHdKugGJm9oQccIGTTY5q-r4P-dqsEKR7qfi6aBpuKXR4zgQ8x8vjD7wIrYHLZufhBPJOLaxdRfdffyFEewFKRREDAcD5uoxX$ Do not hesitate to contact me for any question! Best regards, Julien Signoles