Get an update on changes of the IACR web-page here. For questions, contact newsletter (at) iacr.org. You can also receive updates via:
To receive your credentials via mail again, please click here.
You can also access the full news archive.
Research Assistant in Secure Software Engineering
with the goal to further develop the group’s expertise in the area of constructive software security. The Secure Software Engineering Group is part of EC SPRIDE, the European Center for Security and Privacy by Design, a new competence center co-located with CASED. EC SPRIDE actively supports collaborations with other re-searcher centers worldwide, and offers young researchers an optimal working environment in every aspect.
The Research Group on Secure Software Engineering will play a central role in EC SPRIDE, developing methods and tools in the area of constructive software security. The group aims at developing languages, mechanisms, processes and tools that allow software developers to clearly state security requirements and, if possible, synthesize partial implementations that achieve or help achieve these requirements. In cases where automated synthesis is impossible, and a programmer hence need to implement security features by hand the group uses automated program analyses to assist the programmer in deciding whether the implementation indeed fulfills the stated security requirements.
Applicants must have completed (or be close to completing) a Master or Diplom with very excellent grades in Computer Science, Mathematics, Electrical Engineering or a closely related subject. Additional knowledge in IT-Security, Software Engineering, Programming Languages and/or Program Analysis are a plus. We expect successful candidates to conduct independent research within the context of EC SPRIDE, and actively support such candidates in publishing their work on the leading international conferences and in the leading international journals. EC SPRIDE actively supports researchers in obtaining a Ph.D.
ESCRYPT is an ambitious company in the area of applied and industrial data security. Our clients include all global car makers as well as leading global players in the area of heavy machinery, automation, semiconductors and high-tech companies. ESCRYPT is a German company with offices in Germany (Bochum, Munich, Wolfsburg) and in the US (Ann Arbor, Michigan).
Your role will providing consulting services to our customers in the area of embedded data security (Consultant) or to develop customized software solutions and maintaneace of our products (Security Engineer). You should have a wide expertise in the area of data security, and a focus on embedded systems is helpful (e.g. smart cards, mobile security, etc.).
We seek top graduates in the fields of electrical engineering, computer science or applied mathematics, ideally with industry experience and special knowledge in one of the following fields:
- Cryptography, security, privacy
- Software development (C/C++ and Java)
- Embedded Systems
International experience and relevant internships will be appreciated. Candidates must be fluent in German.
We look for all-rounders willing to build the company and improve ESCRYPT every day. You should be able to work independently and you should be willing to take responsibility. In addition to technical work, we expect that you are able to market the company and our products and services, e.g., by meeting potential clients.
We take your career seriously and offer the possibility to grow in a highly qualified, internationally experienced team. Your work environment will be characterized by an open atmosphere, flat hierarchy and performance-related salary.
Did we manage to make you curious? Then send us your application to jobs (at) escrypt.com.
We look forward to hearing from you!
the Ph.D. and post-doctoral levels. The positions are attached to the
computer-aided security proofs project, which develops language-based
methods and tools for the verification of cryptographic systems. We seek
applicants with a strong background in at least one of the following fields:
* language-based security
* program analysis and program verification
* automated and interactive proofs
Successful applicants are expected to contribute to the development of
the CertiCrypt toolset, and must have an interest to carry research at
the intersection between programming languages, formal verification,
Post-doctoral positions are for one year, with the possibility of
renewal for up to four years. Ph.D. positions are for four years,
subject to satisfactory progress. Starting date is negotiable.
Application materials are available at the URL:
When completing your application, please indicate Computer-Aided
Cryptographic Proofs in the research lines.
Applications must be received by January 30, 2012 to receive full
consideration. However, applications will continue to be accepted
until the positions are filled.