Dear colleagues, we can offer three full time jobs to interested people until the end of the year. Precondition is a master or diploma. We offer a 13 TV-L salary according to the usual German conditions. Part-time occupation is possible.
If you know potential candidates please inform them of this temporarily restricted opportunity. Within the Herold project (http://www.herold-security.de) we develop a distributed, self-configuring firewall infrastructure based on our approach PAOSE (Petri-Net-, Agent- and Organization-oriented Software Engineering) (http://www.paose.de). The partners are PRESENSE Technologies GmbH (http://www.pre-sense.de) and the group on Theoretical Foundations of Informatics, Department of Informatics, University of Hamburg (http://www.informatik.uni-hamburg.de/TGI/). We search for post graduates and post-docs to support us with respect to the final development of the framework. To support the currently ten developers we look for specialists in programming, algorithms, software architecture and verification. Java is the main development / inscription language for our models. Knowledge in several of the normal development tools like eclipse, ant, git/svn/cvs, Java, Scala, Trac/Redmine, Protege, UML, Petri nets should be present. Verification approaches, algorithms, tools and frameworks are one of the central topics in the project. The project languages are German and English, all documentation is in English. Due to the highly flexible architecture different levels of contributions can be easily integrated, so different levels of knowledge on at least graduate level are welcome for application. Please send your application with the usual information to Daniel Moldt. The exact address can be found in the pdf: <http://www.verwaltung.uni-hamburg.de/stellenangebote/wissmit/Informatik_02-09-2011.pdf> The job announcement is in German. If you are interested, please contact us for any further information. Applications should be received by September 2nd, 2011. Best regards, Daniel Moldt -- Please use mailto:[email protected] http://www.informatik.uni-hamburg.de/TGI/moldt to contact me: Dr. Daniel Moldt, Department of Informatics University of Hamburg, Vogt-Kölln-Str. 30, 22527 Hamburg, Tel: (+49) (0) 40 428 83 -2247 Secr: -2407 Fax: - 2246 ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
