Subject: Postdoc position at CEA Saclay From: Goubault Eric Date: Wed, 22 Sep 2004 13:43:01 +0200 To: dmd1@lehigh.edu Postdoc Position at the Commissariat à l'Energie Atomique, Saclay, France ====================================================== The Software Safety Laboratory (SSL) at the Commissariat à l'Energie Atomique, is a research lab specialized in carrying out research in validation and verification of critical embedded software. The lab has strong links with industry, and designs verification tools that are used on site by some of our industrial partners. In the SSL, a project (ALCOOL) is particularly concerned with the static analysis, by abstract interpretation, of concurrent and distributed systems. The current focus is on the analysis of coordination properties of multi-threaded systems, based on POSIX-like operating systems. The originality of the approach lies in our use of geometric semantics to derive anti state-space explosion techniques. The intended work has two aspects: one fairly mathematical aspect (based on algebraic topology), and one computer scientific aspect (static analysis, verification algorithms, etc.). We are seeking a candidate who excels in at least one of these two aspects, ideally both. Prerequisites: - Ph.D. in mathematics or computer science - expertise or interest in static analysis, concurrency theory, elementary category theory/algebraic topology. The expected duration is one year, starting in 2004 or 2005. The project is strongly linked with the "GETCO" community (see for instance, this year's conference http://www.math.aau.dk/~uli/getco04/). Applications (CV, publication list etc.) should be sent to: Eric Goubault Eric.Goubault@cea.fr Some references are available at http://www.di.ens.fr/~goubault. Questions concerning the project should also be sent to the address above.