Concurrency/verification positions at Politecnico di Milano
As part of the continuation of the ERC Advanced Investigator Grant project “Concurrency Made Easy” (started at ETH Zurich, see the project pages at cme.ethz.ch), I have positions at Politecnico di Milano for:
- Postdocs (having a doctoral degree)
- Research associates (officially: “Assegno di Ricerca”, with the requirement of having a master degree), which can lead to a PhD position.
The deadline for applications is October 11. Please contact me directly if interested. What I expect:
- The requisite degrees as stated above.
- Innovative and enterprising spirit, passion for quality work in software engineering.
- Either or both of excellent programming abilities and strong CS theoretical background.
- Knowledge of as many of possible of: object-oriented programming, concurrency/parallelism, software verification/formal methods, Eiffel.
- Familiarity with the basics of the project as described in the project pages at the URL above.
Eiffel Software
Home page at ETH
Informatics Europe
LASER summer school
Propulsion Academy
Oh, I do wish I could enlist but being “only” a civil engineer with an acute fondness for Eiffel I cannot be eligible.