Home

Fully-Funded Post-Doc Position on Foundations of Dynamic Analysis

Submitted by hauswirth on Fri, 23/09/2011 - 14:02
in

We are currently recruiting a post-doc for the FAN Swiss National Science Foundation Sinergia project (http://fan.inf.usi.ch/) between the University of Lugano and ETH Zurich. The position includes a competitive salary and generous support for conference travel and equipment.

Qualifications

You need to:

  • be really excited about our project
  • be persistent (get back up and continue when things don't work out as planned -- true research rarely works out as planned)
  • be fearless (e.g., be ok hacking a virtual machine, a compiler, a kernel, or implementing a complex algorithm)
  • have a small child's attitude (to want to understand and learn about everything they encounter)
  • have an engineer's attitude (not to take the first solution that comes to mind, but to look at the key alternatives)
  • have a researcher's attitude (to want to truly understand something, and to not be satisfied with the first best explanation)
  • want to look at the simple and obvious before exploring the complicated
  • be able to focus (to ignore the many other cool things one could also do)
  • derive pleasure from coming up with a logical and clear argument or explanation
  • like to read (books, papers, papers, papers)
  • like to write (prospectus, proposal, dissertation, and papers)
  • like to present (at conferences, or in class)
  • like to convince others using sound arguments
  • be ok working hard
  • under-promise and over-deliver
  • be happy staying in Switzerland for quite some time
  • be ok traveling long distance from time to time (e.g., for conferences)
  • have (or soon receive) a PhD degree in computer science/informatics
  • have prior research experience in the areas of programming languages and/or software engineering
  • have co-authored top-tier publications in conferences such as PLDI, OOSPLA, ECOOP, POPL, ASPLOS, CGO, SOSP, OSDI, NSDI, AOSD, ICSE, or FSE.

How to Apply

Our application deadline is October 1, 2011. Application is highly competitive. As part of the application process, you will have to pass a challenge which will take some effort to complete. The earlier you start with the application process, the better. More information: http://fan.inf.usi.ch/open-positions