Wanted: Research Assistant

Eric | April 20, 2015

Are you interested in call graph generation for static analysis and machine-driven soundness proof?

If you are interested in becoming a research assistant in our group have a look at the proposal.

Cross-posted from SEEBlog

Related Posts

  1. Wanted: Research assistant in CROSSING project
  2. Wanted: Research assistant in CROSSING project
  3. Wanted: Research Assistant on the Secure Integration of Cryptographic Software
  4. Research Assistants in the Software Lab (Michael Pradel)
  5. Be part in our Alpha-Testing-Program of CodeInspect
Categories
Research
Comments rss
Comments rss

« »