[isabelle] Postdoc position at CMU

I'm looking for a postdoc to work at CMU in the area of software
security.  In particular, the project will be on automatically
identifying exploitable bugs in binary code.  This may be of interest
to people on this mailing list as our techniques are related to
verification. At a high level, we're developing techniques and tools
for scalable symbolic execution of binary code. This involves research
in program analysis (e.g., type reconstruction for binary code,
redundancy elimination), verification condition generation, and fast
decision procedures.  This postdoc would be very much a hands-on
opportunity; we're interested not just in theorems but actually
producing results that work on real software.

More information on what we've done so far is available at
http://security.ece.cmu.edu/aeg  Interested postdocs should contact me

Take care,

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.