OPEN POSITION AT ETH ZURICH
Usage Control in Ubiquitous Communication (UC^2)
The research group headed by Prof. David Basin at the Swiss Federal
Institute of Technology, Zurich (ETH Zurich) has an open position for
a PhD student or a postdoctoral researcher.
The open position is part of a project with Nokia Research in
Lausanne. The project addresses algorithmic questions for developing
efficient monitoring algorithms for complex properties in the context
of enforcing and observing the usage of data. For this open position,
we are looking for an enthusiastic researcher with a strong interest
in mathematical logic, runtime monitoring, and computer security.
Additionally, experience in model checking, database theory, and
automata theory would be an asset.
PhD students and postdoctoral researchers are paid employees of the
university, and salary and employment conditions are attractive. The
PhD student employed will be given the opportunity to carry out a PhD
in Computer Science at ETH Zurich, on a topic related to the
project. ETH Zurich regulations require doctoral students to hold a
Master's or equivalent degree (e.g. Diplom).
Zurich is a diverse and multicultural city which is consistently rated
among the best cities in the world in which to live. We favor the same
sort of diversity that defines Zurich's cultural makeup and encourage
anyone to apply with interest in formal methods and security, regardless
of where you are from.
For further information please contact Felix Klaedtke at:
[email protected]
Applications should also be sent to Felix Klaedtke at the email
address above.
Applications should include a curriculum vitae, a brief description of
research interests, and, if possible, letters of recommendation from
teachers or employers.
--
Dr. Felix Klaedtke, ETH Zurich, Department of Computer Science
IFW C 47.2, Haldeneggsteig 4, 8092 Zurich, SWITZERLAND
Tel: +41 44 632 76 39, Fax: +41 44 632 11 72, email: [email protected]
www.infsec.ethz.ch
------------------------------------------------------------------------------
Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT
is a gathering of tech-side developers & brand creativity professionals. Meet
the minds behind Google Creative Lab, Visual Complexity, Processing, &
iPhoneDevCamp as they present alongside digital heavyweights like Barbarian
Group, R/GA, & Big Spaceship. http://p.sf.net/sfu/creativitycat-com
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
