Lambda the Ultimate

Interesting Job notice on SEWORLD, the Software Engineering email list:

Excerpt:
This project aims at building an extensible workbench for automated program analyses of embedded software. The workbench will combine a number of static analyses and coordinate them using an evidence manager. Different program analyses will feed into each other. Their results will be presented to the software developer in a simple, uniform way, via a plugin for an IDE (Visual Studio). The plugin and the analyses will be written in Scala, and Scala is also the primary implementation language for which analyses should be constructed.

Project link:
TRESOR : EPFL Thrust in Reliable Software Research

(Disclaimer: I no connection with any of these groups, whatsoever. It just looked interesting.)