JOB VACANCIES
-------------
The group of Prof. Siekmann at the German Centre for Artificial
Intelligence (Deutsches Forschungszentrum fuer Kuenstliche
Intelligenz - DFKI GmbH) and at the University of Saarland would
like to extend its innovative application-oriented activities
in the Deduction and Multi-Agent Systems Laboratory. It therefore
has several open vacancies for positions as
Research Scientists
Successful applicants will primarily be working on the analysis
and development of computer security solutions with a strong
accent on formal methods in areas such as formal security policies,
secure protocols, and secure mobile agents. In tandem projects
with industrial partners, the group is involved in activities
related to ecommerce, internet banking, digital signatures,
embedded systems, and communications technology. The applicants
should therefore show evidence of experience in at least one of
the following areas:
1. Software engineering
2. Logic
3. Basics of formal software development
4. IT security
The applicant will have the opportunity to enrol in a PhD program.
The main formal requirement for these posts is a first degree in
computer science or related field. If you are interested in
application-oriented research in the area of computer security
do not hesitate to contact our team manager Dr. Oliver Keller by
e-mail: [log in to unmask]
-----------------------------------------------------------------
Prof. Dr. Joerg H. Siekmann
German Research Center for Artificial Intelligence
Saarbruecken, Germany
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|