International Association for Cryptologic Research

International Association
for Cryptologic Research

IACR News

If you have a news item you wish to distribute, they should be sent to the communications secretary. See also the events database for conference announcements.

Here you can see all recent updates to the IACR webpage. These updates are also available:

email icon
via email
RSS symbol icon
via RSS feed

23 July 2021

Cambridge Quantum, London, UK
Job Posting Job Posting

Cambridge Quantum (CQ) is a quantum computing software and algorithms company aiming to allow our customers to get the most out of quantum computers both now and in the future. Our cybersecurity division is developing quantum-related technologies including the world’s only quantum random number generator (QRNG) that uses quantum computers to produce verifiably high-quality entropy.

In this role will work in our quantum cryptography team and bring your expertise in computer science and/or classical cryptography to find solutions to the different problems faced both by classical cryptography in a post-quantum world but also the ones faced by quantum cryptography.

Role overview
  • Research and design new cryptography applications with a quantum advantage, together with their security proofs.
  • Find innovative solutions to the problems faced by classical cryptography in a quantum world and to the challenges faced in quantum cryptography.
Key Requirements
  • PhD in Computer Science, Mathematics, Physics or related field (or equivalent experience).
  • Expertise in one or more of the following: post-quantum cryptography (E.g. lattice-based crypto), multi-party computation, zero-knowledge proofs, formal verification tools, information-theoretic security, cryptanalysis.
  • Track record of publications in relevant fields.
Desirable
  • Job experience in research either as a postdoc or with a company.
  • Familiarity with quantum-based cryptography.
  • An interest in the discussions and issues surrounding the transition to post-quantum cryptography.
  • Good programming skills (E.g. Python, C/C++ and/or other).
  • Ability to mentor and coach colleagues.
Full details including information on our current projects, benefits, and how to apply available via main link.

Closing date for applications:

Contact: Ela Lee (ela dot lee at cambridgequantum dot com)

More information: https://jobs.eu.lever.co/cambridgequantum/762ede2f-22ce-4c4a-88f6-fa07f602d8f4?lever-origin=applied&lever-source%5B%5D=iacr.org%2Fjobs%2F

Expand

19 July 2021

Zilliqa Research Pte. Ltd., Remote position
Job Posting Job Posting
Zilliqa Research Pte. Ltd. is the creator of Zilliqa – a scalable blockchain platform to run distributed applications. The company maintains the platform as well as develops tools and services around it.

The research team at Zilliqa consists of senior researchers and research engineers working on distributed systems, programming languages, system security and formal verification. Since starting in late 2017, the team has produced several scientific and engineering work ranging from distributed systems, e.g., the sharding design for scaling blockchains that is now being adopted by several other platforms; to programming languages, e.g., a new principled smart contract language amenable to formal verification called Scilla among others.

We firmly believe in conducting research with practical significance in the blockchain space and particularly research that can go into production systems like Zilliqa, Ethereum or Bitcoin.

Role Overview: As a blockchain researcher, you will be responsible for conducting impactful research that can improve the state of the art blockchain infrastructures and in particular the Zilliqa blockchain. In this role, you will be working very closely with the research team as well as system engineers. We offer a competitive salary, a creative work environment and an opportunity to push a research contribution into a production system.

Scope of Role: We are looking for a researcher with experience in blockchains, distributed systems and applied cryptography. The role will require the researcher to identify key research problems in the blockchain space and the Zilliqa platform in particular and conduct impactful research.

Experience:
  • Research experience either as a PhD or as research assistant.
  • Must have published at least 2 papers in top-tier conferences.
  • Must have a good engineering background.
  • Must have conducted research in distributed systems, applied cryptography, system security, and blockchains in general.


  • Applying for this Role: Contact us by sending your updated CV.

    Closing date for applications:

    Contact: amrit@zilliqa.com

    Expand
    TU Darmstadt, Germany
    Job Posting Job Posting
    The Cryptography and Privacy Engineering Group (ENCRYPTO) @CS Department @Technical University of Darmstadt offers a fully funded position as Doctoral Researcher (Research Assistant/PhD Student) in Private Machine Learning for Mobile Applications, ideally starting from Oct 1, 2021 for up to 3 years with the possibility of extension.
    Job description: You'll work in the research training group/doctoral college Privacy & Trust for Mobile Users funded by the German Research Foundation (DFG). In our sub-project, we build cryptography-based private machine learning services for mobile applications and investigate their legal applicability (data protection) and economic feasibility in interdisciplinary collaborations. You conduct research, implement prototypes, and publish&present the results at top venues. You'll participate in teaching and supervise thesis students & student assistants.
    We offer: We demonstrate that privacy is efficiently protectable in real-world applications via cryptographic protocols. Our open and international working environment facilitates excellent research in a sociable team. TU Darmstadt is a top research university for IT security, cryptography and CS in Europe. Darmstadt is a very international, livable and well-connected city in the Rhine-Main area around Frankfurt. Knowledge of German is beneficial, but not required, and TU Darmstadt offers corresponding support.
    Your profile:
    • Completed Master's degree (or equivalent) at a top university with excellent grades in IT security, computer science, or a similar area.
    • Extensive knowledge in applied cryptography/IT security and very good software development skills. Knowledge in cryptographic protocols (ideally MPC) is a plus.
    • Experience with/motivation for working with other disciplines, e.g., law or economics.
    • Self-motivated, reliable, creative, can work independently, and want to do excellent research.
    • Our working language is English: able to discuss/write/present scientific results in English. German is beneficial but not required.
    Application deadline: Aug 21, 2021. Later applications are considered.

    Closing date for applications:

    Contact: Thomas Schneider (application@encrypto.cs.tu-darmstadt.de)

    More information: https://encrypto.de/2021-RTG-EN

    Expand
    Brandenburg University of Technology (BTU) Cottbus-Senftenberg
    Job Posting Job Posting
    Dear students,
    Several PhD positions (TV-L 13, full time) in the area of self-learning. Anomaly detection for critical infrastructure, secure cyber-physical Systems, Artificial Intelligence/Machine Learning for Encrypted Network Traffic Analysis (Traffic Analysis) at the Brandenburg University of Technology (BTU Cottbus) are to be filled as soon as possible.
    English-speaking applicants with basic German language skills are also welcome.
    Tasks:
    Active research in the area of intrusion detection systems (IDS) for critical infrastructures, secure cyber-physical systems, and artificial intelligence / machine learning for traffic analysis.
    Implementation and evaluation of new algorithms and methods.
    Cooperation and knowledge transfer with industrial partners.
    Publication of scientific results.
    Assistance with teaching.

    The employment takes place with the goal of doctoral graduation (obtaining a PhD degree).

    Requirements:
    Recognized above-average master's degree in computer science or a related discipline
    Very good English skills
    Programming skills
    Interest in IT security/privacy/networking.

    Applications containing the following documents:
    A detailed Curriculum Vitae.
    Transcript of records from your Master studies.
    An electronic version of your Master thesis, if possible should be sent in a single PDF file as soon as possible, but not later than 30.07.2021 at itsec-jobs.informatik@lists.b-tu.de.

    Closing date for applications:

    Contact: Prof. A. Panchenko

    More information: https://www.informatik.tu-cottbus.de/~andriy/phd-ad-btu_en.pdf

    Expand

    15 July 2021

    University of Stuttgart, Institute of Information Security
    Job Posting Job Posting
    The Institute of Information Security at University of Stuttgart offers a

    fully-funded Postdoc position in formal verification.

    The successful candidate is expected to work on tool-supported formal verification of security-critical systems and security protocols.

    The position is available immediately with an internationally competitive salary (German public salary scale TV-L E13, or TV-L E14, depending on the candidate's qualification, ranging from about 4.600 Euro to 6.200 Euro monthly gross salary). The appointment period follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging from one year to up to six years.

    The Institute of Information Security offers a creative international environment for top-level international research in Germany's high-tech region.

    The successful candidate should have a Ph.D. (or should be very close to completion thereof) in Computer Science, Mathematics, Information Security, or a related field. We value strong analytical skills and

    • solid knowledge of logic, proofs and/or formal verification techniques (Theorem Proving, Type Checking, etc.),
    • solid programming experience.
    Knowledge in security is not required, but a plus. Knowledge of German is not required.

    The deadline for applications is

    August 1st, 2021.

    Late applications will be considered until the position is filled. See the official job announcement for details on how to apply.

    https://www.sec.uni-stuttgart.de/institute/job-openings/

    Closing date for applications:

    Contact: Prof. Ralf Küsters
    Institute of Information Security
    University of Stuttgart
    Germany
    ralf.kuesters@sec.uni-stuttgart.de

    More information: https://www.sec.uni-stuttgart.de/institute/job-openings/

    Expand
    QPQ
    Job Posting Job Posting
    Did you recently gain a Master/PhD in the area of Applied Cryptology?

    Do you want to design, code and co-invent the next generation of Distributed Systems protocols?

    At QPQ, we are building the Internet of Economics, a new approach to a compliant and regulated financial systems infrastructure.

    Join a team of mathematicians, computer scientists, engineers and self-taught individuals.

    What do we give you?
    • A stimulating, Socratic intellectual environment.
    • As Socratic implies, we want you to have a voice. We do not recruit brilliant people to put them in boxes, we recruit brilliant people so they can push the horizons even further.
    • Hybrid office approach – we have been a distributed workforce from the start. This role is centred around our European axis, so we expect you to live within +/- 2 hours of CET. We get together a complete team every quarter, so you must be willing to travel and embrace being part of a diverse team drawn from many walks of life and cultures.
    • Competitive salary, travel expense budget and many future opportunities to participate in the company’s growth.
    • The mother of all intellectual challenges!
    Responsibilities:
    • Perform research and engineering on cryptographic protocols applied in a DeFi context.
    • Working with a multi-faceted team of practitioners on a set of blockchain-based privacy protocols interacting in a DeFi environment and providing compliance with financial regulations.
    • Focus on modern zero knowledge protocols that guarantee privacy and compliance.
    Requirements:
    • Master or Ph.D. in cryptography or a closely related field.
    • Be able to prototype protocols/schemes/algorithms in at least one relevant programming language.
    • General understanding of full-stack system architecture.
    • Have a thorough approach and be committed to high quality output.
    • Have prior research/code already published in the space.
    • A proactive, self-driven approach and problem-solving mindset.
    • Closing date for applications:

      Contact: Emanuele Ragnoli at opportunities at qpq.io

    Expand
    QPQ
    Job Posting Job Posting
    Do you have a Master/PhD, research or coding experience in the area of Applied Cryptology?
    Do you want to design, code and co-invent the next generation of Distributed Systems protocols?
    At QPQ, we are building the Internet of Economics, a new approach to a compliant and regulated financial systems infrastructure. Join a team of mathematicians, computer scientists, engineers and self-taught individuals.

    What do we give you?
    • A stimulating, Socratic intellectual environment. As Socratic implies, we want you to have a voice. We do not recruit brilliant people to put them in boxes, we recruit brilliant people so they can push the horizons even further.
    • Hybrid office approach – we have been a distributed workforce from the start. This role is centred around our European axis, so we expect you to live within +/- 2 hours of CET. We get together a complete team every quarter, so you must be willing to travel and embrace being part of a diverse team drawn from many walks of life and cultures.
    • Competitive salary, travel expense budget and many future opportunities to participate in the company’s growth.
    • The mother of all intellectual challenges!
    Responsibilities:
    • Perform research and engineering on cryptographic protocols in a DS context.
    • Working with a multi-faceted team of practitioners on a set of DLT-based privacy protocols interacting in a DeFi environment and providing compliance with financial regulations.
    • Focus on modern zero knowledge protocols that guarantee privacy and compliance.
    Requirements:
    • 3+ years of experience in software development.
    • Be able to prototype protocols/schemes/algorithms in at least one relevant programming language.
    • General understanding of full-stack system architecture.
    • Have a thorough approach and be committed to high quality output Have prior research/code already published in the space.
    • Excellent communication and collaboration skills.
    • A proactive, self-driven approach and problem.
    • Closing date for applications:

      Contact: Emanuele Ragnoli at opportunities at qpq.io

    Expand

    09 July 2021

    Hasso-Plattner-Institute (Potsdam/Berlin, Germany)
    Job Posting Job Posting

    The Cybersecurity - Identity Management group at the Hasso-Plattner-Institute (HPI), University of Potsdam is looking for motivated PhD students in the area of cryptography and privacy.

    Your future tasks
    • Development and analysis of provably secure cryptographic protocols for real-world problems. Topics of interest include (but are not limited to):
      • Privacy-enhancing technologies
      • Password-based cryptography
      • Foundations and solutions for real-world cryptography
    • Publish and present results at top-tier international conferences
    • Participate in teaching activities (depends on position)
    Your skills
    • Master’s degree in Computer Science, Mathematics, or a related area by the time of appointment
    • Profound knowledge and interest in the areas of cryptography and IT security
    • Fluency in English (written and spoken)

    There are two types for the PhD positions: One position comes with a teaching obligation for which also sufficient German language skills are required. Review of applicants will start immediately until the position is filled. The starting date is flexible. The other is through the scholarship program of the HPI. Deadline for scholarship applications is August 15, and the positions usually start around October.

    We look forward to your application including a CV, motivation letter and a list of attended Master courses and grades. Please submit your application documents (only as PDF) via email, and indicate the position you are interested in (teaching/scholarship).

    Closing date for applications:

    Contact: Anja Lehmann (anja . lehmann - at - hpi . de)

    More information: https://hpi.de/lehmann/home.html

    Expand
    KU Leuven (Catholic University of Leuven)
    Job Posting Job Posting
    We have an open postdoc position in the domain of Scalable and Secure Data Sharing funded FWO SBO (strategic basic research) project MOZAIK. The prospective candidate is expected to design and develop efficient MPC protocols for privacy-preserving data analytics. The work includes, but not limited to, investigating machine learning algorithms that best suit MPC and that can be efficiently implemented over MPC. You will be working closely with tools such as https://github.com/KULeuven-COSIC/SCALE-MAMBA The candidate must hold a PhD degree in Cryptography or a related subject with strong publication records in crypto/security venues. In addition to a strong background in both public and symmetric cryptography, good knowledge in MPC, machine learning algorithms, and cryptographic protocols are expected. The candidate should also have coding experience in C/C++ and Python, experience in practical aspects of secure computation is a must.

    Closing date for applications:

    Contact: For inquiries send an email to jobs-cosic@esat.kuleuven.be

    More information: https://www.esat.kuleuven.be/cosic/vacancies/

    Expand
    The Hong Kong University of Science and Technology
    Job Posting Job Posting
    We invite applications for a postdoctoral research position in applied cryptography in topics related, but not limited, to the following:

    • Zero-knowledge proofs
    • Polynomial/vector commitments
    • Searchable/structured encryption
    • Oblivious algorithms
    • TEE-assisted cryptography
    Applicants are expected to have a PhD in computer science or related field and published papers in cryptography (IACR venues) and/or top-tier security conferences (Big-4). Experience with hands-on implementation is a plus. The specific research topic will be determined based on the interests of the applicant.

    Interested applicants should submit their CV and a single-page research statement. The position is available immediately and on a rolling basis until filled. It will initially be for one year and can be extended given satisfactory performance.

    Work environment: The HKUST CSE department was ranked 17th in the world in 2020 by THE World University Rankings. Our graduates typically produce research output of the highest quality and consistently staff world-class institutions. The lab offers a creative work environment that is ideal for excellent research.

    Closing date for applications:

    Contact: Prof. Papadopoulos Dimitrios, dipapado at cse dot ust dot hk

    Expand

    06 July 2021

    Indian Statistical Institute, Kolkata
    Job Posting Job Posting
    Applications are invited from Indian Nationals (bright candidates) for the recruitment of four (04) Research Associates purely on a temporary basis in the Applied Statistics Division of the Indian Statistical Institute. Ph.D. with research work in Cryptology and related areas are encouraged to apply. For details please visit https://www.isical.ac.in/jobs

    Closing date for applications:

    Contact: Mridul Nandi (pnc.asd.isi@gmail.com)

    More information: https://www.isical.ac.in/sites/default/files/jobs/Advertisement%20-%20ASD.pdf

    Expand
    University of Klagenfurt, Cybersecurity Research Group
    Job Posting Job Posting

    We offer a post-doctoral position until end of August 2023 in the area of side channels as part of the ERC funded project SEAL (Sound and Early Assessment of Leakage for Embedded Software) .

    Under the supervision of Prof. Elisabeth Oswald, you will strengthen the existing team of three post-docs and one PhD student working on the SEAL project.

    We are looking, in particular, for post docs with an interest in provable leakage resilience, or language/compiler based security (in an embedded software context), but we will consider researchers with a different interest within the side channel area too. You must have prior expertise in side channel related research (or compiler/language based security) (evidenced via papers).

    The post will be filled as soon as a viable candidate has been identified.

    The Cybersecurity Research group is part of a newly established, vibrant research environment in the sunny south of Austria. We are a team of 10 researchers working across a range of topics in the area of applied cryptography/cybersecurity. You can find an overview of team members, and activities under www.cybersecurityresearch.at.

    To apply, please email your CV, and a brief statement why you think you fit the description to the contact below.

    For questions, please use the same contact, supplied below.

    Closing date for applications:

    Contact: Elisabeth Oswald, elisabeth . oswald @ aau . at

    Expand

    03 July 2021

    Università della Svizzera italiana (Lugano, Switzerland)
    Job Posting Job Posting
    PhD and Post-Doc positions in the domain of IoT and cyber-physical systems security are available at Università della Svizzera italiana, in the ALaRI research group. Prospective candidates are expected to investigate aspects related to physical attacks (side channel and fault attacks) and countermeasures, lightweight cryptography, and encryption techniques for high performance computing and machine learning. The positions are fully funded, and budget for research expenses and conference travel is available.

    Candidates must hold (or be close to the completion of) a master degree (for the PhD position) or a PhD degree (for the Post-Doc position), preferably in computer science, computer engineering, or electrical engineering. Prior experience in hardware design, software programming, and/or cryptography is an asset. The research work will involve contributing to international research projects.

    Interested candidates should apply by sending an email with subject line “Application for Ph.D” or “Application for Post-Doc” to openposition@a.alari.ch including your CV, the name and the contact information of at least two references, the appropriate certificates, and a motivation letter that demonstrates your interest in and your qualifications for the positions.

    Screening of applications will begin 15th July. Priority will be given to applications submitted by this date, but the position will remain open until filled.

    Closing date for applications:

    Contact: Inquiries can be sent to openposition@a.alari.ch

    Expand
    Robert Bosch GmbH - Corporate Research
    Job Posting Job Posting
    Job Description
    • As a PhD student in our research group, you will actively contribute to research and engineering projects at the intersection of cloud computing and privacy-enhancing technologies (PETs).
    • Embedded in an international team of cloud and security experts, you will apply your knowledge of distributed systems and cloud technologies to design, implement and validate cloud native PET solutions as part of the Franco-German BMBF/MESRI-funded research project CRYPTECS.
    • Your work consists of integrating state-of-the-art PETs (such as Secure Multiparty Computation, Trusted Execution Environments, and Differential Privacy) with distributed systems / computing concepts (such as distributed ledgers and parallel programming models) and cloud-native technologies (such as container orchestrators and serverless computing frameworks) at a conceptual and technical level.
    • Thanks to your implementation skills, you will contribute to building a PET cloud stack that can be deployed in an industrial context. Through experimental use for real-world use cases in different domains such as Automotive AI and Internet of Things, you will close the feedback loop and gain valuable insights to improve your solutions. You will advance the state of the art in cloud-based PETs research and publish your results together with renowned researchers from the international CRYPTECS consortium.
    Your Profile
    • Education: Excellent Master's degree in computer science or related discipline with specialization in distributed systems, ideally combined with knowledge of security and privacy
    • Personality: Positive team player, who is highly motivated, has an innovative mindset, is eager to learn new things, and is passionate about applied research and engineering
    • Working Practice: Hands-on experience with software development beyond scientific prototypes, ideally in an open source context
    • Experience: Knowledge in the area of cloud native technologies, ideally experience in PETs
    • Languages: Fluent in English (written and spoken)

    Closing date for applications:

    Contact: Dr. Sven Trieflinger via Smart Recruiters (see https://smrtr.io/5YBmQ)

    More information: https://www.bosch.com/research/know-how/success-stories/trustworthy-computing-data-sovereignty-while-connected/

    Expand
    Panther Protocol, Remote
    Job Posting Job Posting
    Responsibilities Perform research and engineering on cryptographic protocols in the privacy space Working with a team of cryptographers and practitioners on a blockchain-based privacy protocol which interacts with the DeFi space and also provides elements of compliance with financial regulations Focus on zero knowledge schemes which provide privacy and compliance Role will consist of approximately 75% research and 25% engineering Requirements Masters or Ph.D. in cryptography or a closely related field Be able to prototype protocols/schemes/algorithms in one or more relevant programming languages Be familiar with the blockchain and DeFi space 3+ years of software engineering experience General understanding of full-stack system architecture Have a thorough approach and be committed to high quality output Have prior research/code already published in the space Experienced with remote collaboration (video conferencing, collaborative design and coding etc.) Be comfortable working both independently and as part of a larger team on a fast-paced project Excellent communication and collaboration skills A proactive, self-driven approach and entrepreneurial, problem-solving mindset Able to proactively identify which activities can benefit the project the most in the shortest period of time, communicate, and execute on their ideas without needing to be micromanaged Full-time availability with flexible working hours within predominantly American/European timezones Nice to Have Zero-Knowledge proof schemes such as pairing-based SNARKs (Groth16, PLONK), Bulletproofs, STARKs, etc. Different arithmetization schemes such as AIR, R1CS, PLONK. Different methods of implementing recursive SNARKs. Selective disclosure schemes Financial regulation schemes and compliance topics Experience working remotely Experience with financial regulation and compliance Why Work With Panther? Highly competitive compensation (including equity) Remote work in a dynamic, fast-growth startup Flexible working hours Opportunity to work with a world-class team on a cutting edge project, which will break boundaries in the blockchain privacy/compliance space

    Closing date for applications:

    Contact: Ramadan Ameen

    More information: https://www.pantherprotocol.io

    Expand
    University of Birmingham
    Job Posting Job Posting
    We offer a postdoctoral position for up to 5 years to work on the cryptanalysis of post-quantum cryptographic protocols.

    The University of Birmingham is one of the main UK research centers in Cyber security. The candidate will work with Dr. Christophe Petit and his team.

    The ideal candidate should have a very strong background in cryptography or related area, including number theory, computer algebra, and quantum computing. Previous work on post-quantum cryptography is desirable, especially with lattice-based or code-based cryptography.

    Closing date for applications:

    Contact: Christophe Petit (C.Petit.1 at bham dot ac dot uk)

    More information: https://bham.taleo.net/careersection/external/jobdetail.ftl?job=2100013X&tz=GMT%2B01%3A00&tzname=Europe%2FLondon

    Expand
    University of Birmingham
    Job Posting Job Posting
    We offer up to two Ph.D. positions to work on the cryptanalysis of post-quantum cryptographic protocols. The studentship covers a stipend and tuition fees.

    The University of Birmingham is one of the main UK research centers in Cyber security. The candidate will work with Dr. Christophe Petit and his team.

    The ideal candidate should have a very strong background in cryptography or related area, including number theory, computer algebra, and quantum computing. P

    Closing date for applications:

    Contact: Christophe Petit (C.Petit.1 at bham dot ac dot uk)

    More information: https://sits.bham.ac.uk/lpages/EPS003.htm

    Expand
    Yukawa Institute for Theoretical Physics, Kyoto University, Japan
    Job Posting Job Posting

    The Quantum Information Group at Yukawa Institute for Theoretical Physics, Kyoto University, Japan is looking for a postdoctoral researcher to work on theory of quantum cryptography. (If you are interested in quantum cryptography, background of quantum information is not mandatory: people from ``non-quantum" cryptography are also highly welcomed.) Depending on the qualification, the title of research assistant professor can be given.

    The starting date is negotiable (but ideally as soon as possible), and the contract is by the end of March 2024.

    Interested candidates can apply by sending
    CV
    publication list
    research statement
    contact information of two referees
    to the contact address below.

    The deadline for applications is 7/31/2021.

    For applying and for more information please contact:

    Closing date for applications:

    Contact: Tomoyuki Morimae, Associate Professor
    Yukawa Institute for Theoretical Physics, Kyoto University, Japan tomoyuki.morimae@yukawa.kyoto-u.ac.jp

    Expand

    29 June 2021

    Riverside Research
    Job Posting Job Posting
    Riverside Research is seeking a research scientist to solve challenging cybersecurity problems using formal methods for system security analysis. The ideal candidate will be an outside-the-box thinker who is excited to work on cutting-edge research of the intersection of formal methods and cybersecurity. They will work with our Trusted and Resilient Systems research group to apply formal methods techniques to critical defense systems and develop new formal methods tools and techniques to significantly advance the state of the art. All Riverside Research opportunities require U.S. Citizenship. Job Responsibilities: Use techniques from formal methods to develop security analyses of large, complex systems Develop new techniques and tools for applying formal methods to hard security problems Present research at meetings and conferences Assist with proposal writing and customer meetings Collaborate with others in the broader research and Defense communities Mentoring junior scientists and setting direction on future formal analysis research and development efforts Other duties as assigned. Required Qualifications: 5 years’ experience with BS in Computer Science or related field 2 years’ experience with MS in Computer Science or related field PhD in Computer Science or related field Previous experience in formal methods for security analysis Excellent written and verbal communication skills evidenced by published papers and presentations at research conferences Proficiency in computer programming and experience with formal analysis tools and languages Desired Qualifications: Previous experience with EasyCrypt Previous experience mentoring other researchers Proposal development experience Ability to manage time independently without direct supervision Active Secret Security Clearance, must be capable of acquiring at least secret level Riverside Research strives to be one of America's premier providers of independent, trusted technical and scientific expertise. We continue to add experienced and technically astute staff who are highly motivated to help our DoD and Intelligence Community (IC

    Closing date for applications:

    Contact: Michael Costanzo

    More information: https://boards.greenhouse.io/riversideresearch/jobs/4572209003

    Expand
    Technical University of Darmstadt, Department of Computer Science, Germany
    Job Posting Job Posting

    The Telecooperation Lab [TK] (Prof. Dr. Mühlhäuser) at Technical University of Darmstadt is seeking candidates for a Postdoctoral position, preferably in the area of network security, esp. botnet defense. Experts in user-centric security & privacy or quantification of security will also be considered. The contract is initially limited to two years and can be extended.

    What we offer:
    • Highly innovative research, especially within the framework of our participation in the National Research Center for Applied Cybersecurity ATHENE
    • Perfection of your research skills using stringent scientific methods
    • Independent research as well as research in a team of excellent doctoral and master candidates
    • Excellent support for further academic qualification (habilitation, independent young researcher)
    • Manifold support to present your research at top international conferences and leading journals
    • Exceptional team spirit and cordial working atmosphere in an international team
    • Exposure to cutting-edge research and to an international community of peers
    Your profile:
    • Appetite for cutting-edge international research and interest to shape the future cybersecurity
    • Completed PhD with excellent research record and deep knowledge in cybersecurity & privacy, preferably in one of the above focus areas
    • Experience in writing and publishing scientific work in flagship conferences and journals
    • Strong interpersonal skills and proven teamwork competencies
    • High level of intrinsic motivation and demonstrated ability to perform targeted independent work
    • Master's level knowledge in computer networks and preferably in artificial intelligence
    • Excellent command of English and preferably good command of German

    The Technische Universität Darmstadt intends to increase the number of female employees and encourages female candidates to apply. In case of equal qualifications applicants with a degree of disability of at least 50 or equal will be given pre

    Closing date for applications:

    Contact: Rolf Egert, egert at tk dot tu-darmstadt dot de

    More information: https://www.tu-darmstadt.de/universitaet/karriere_an_der_tu/stellenangebote/aktuelle_stellenangebote/stellenausschreibungen_detailansichten_1_417536.en.jsp

    Expand