International Association
for Cryptologic Research

Event date: to
Submission deadline: 30 June 2026

The USF Center for Cryptographic Research is recruiting multiple postdoctoral fellows to work on Applied Algebra with an emphasis on Cryptography, Coding Theory, and Quantum Computing. The successful candidates will be hosted by the USF Department of Mathematics & Statistics on our Tampa campus.

Our program is supported by an NSF Research Training Group (RTG) grant. More information about our RTG program is available at: http://usf-crypto.org/rtg-overview/.

Minimum qualifications include a Ph.D. from an accredited institution in mathematics, computer science, or a related field. ABD candidates are acceptable, but the degree must be conferred before the intended start date. Must meet university criteria for appointment to the rank of Postdoctoral Fellow. Preference will be given to candidates with an established record of publications in Applied Algebra; in particular, Cryptography, Coding Theory, or Quantum Computing.

The start date is negotiable, but must be before August 7, 2026. Position will remain open until filled.

Applications must be submitted online at http://jobs.usf.edu. Required documentation, submitted as a SINGLE document, includes a Cover Letter, CV, and a Statement of Research. In addition, candidates should have at least three letters of recommendation submitted through MathJobs.org. The Mathjobs links for the positions are below:

• Position 1 (Cryptography): https://www.mathjobs.org/jobs/list/27368
• Position 2 (Coding Theory): https://www.mathjobs.org/jobs/list/27367
• Position 3 (Quantum Computing): https://www.mathjobs.org/jobs/list/27370
• Position 4 (Open): https://www.mathjobs.org/jobs/list/27371

Positions 1 to 3 are for 3 years, and applicants must be U.S. citizens or permanent residents (Green Card). Position 4 is for 2 years, but carries no residency restriction.

Review of applications will begin on December 1, 2025.

Closing date for applications:

Contact: Jean-François Biasse

Open positions at all ranks (tenure track, associate and full professor) at our Department of Computer Science, Aarhus University! All topics welcome, including in particular: Quantum Information Processing, Quantum Cryptography, System/Network Security. Deadline Jan 5th 2026

Closing date for applications:

Contact: Claudio Orlandi

More information: https://international.au.dk/about/profile/vacant-positions/job/aarhus-university-is-hiring-assistant-associate-and-full-professors-for-the-department-of-computer-science

UCLouvain seeks to recruit a full-time faculty member in the fields of cybersecurity and software security.

The application deadline is on November 12, 2025, and details are available from the link in the title!

Closing date for applications:

Contact: Olivier Pereira -- olivier.pereira@uclouvain.be

More information: https://jobs.uclouvain.be/PersonnelAcademique/job/An-academic-in-Cybersecrurity-and-Software-Security/1244992801/

IOG, is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.

Bitcoin DeFi is about unlocking real utility for the world’s most trusted digital asset without ever compromising user control. For developers and innovators, this means finding a way to use Bitcoin in decentralized finance without forcing holders to hand their BTC to a third party. Until now, most attempts at Bitcoin DeFi have relied on “wrapped” tokens that essentially represent a promise – you send your BTC away and trust someone else to issue a proxy token on another chain. In all these custodial models, users effectively give up custody of their bitcoin to an intermediary in exchange for a tokenized representation. This status quo runs counter to Bitcoin’s core ethos of self-sovereignty and security.

What the role involves:

As an experienced Cryptographic Engineer, you will contribute to the design, implementation, and integration of secure cryptographic protocols and primitives across diverse projects. This role sits at the intersection of applied research and engineering, turning advanced cryptographic designs into robust, production-ready systems. You will work closely with researchers, protocol designers, software architects, and QA teams to ensure cryptographic correctness, performance, and maintainability, with a strong emphasis on high-assurance coding and practical deployment.

Design and implement cryptographic constructions, such as digital signatures, zero-knowledge proofs, verifiable random functions (VRFs), commitment schemes, and accumulators.

Develop and maintain cryptographic libraries, primarily using Rust and Haskell with attention to safety, clarity, performance, and auditability.

Translate academic research & formal specifications into reliable code.

Closing date for applications:

Contact:

Marios Nicolaides

More information: https://apply.workable.com/io-global/j/1308F174CD/

We are looking for a 2-years postdoc on Neuro-Symbolic learning in secure multi-party computation. The Villum Experiment research project “Neuro-Symbolic Federated Learning with Secure Multi-Party Computation” aims to explore the feasibility of training neural networks with logical constraints using secure MPC. The project addresses critical domains such as finance and healthcare, where data privacy is paramount and traditional data sharing is not an option. The research will focus on: Investigating differentiable logics (DLs) such as DL2, fuzzy logics, and logics of the Lawvere quantale, to evaluate their tractability and numerical stability under MPC frameworks, with formal correctness guarantees. Developing novel multi-valued logics tailored for MPC if existing ones prove inadequate. Implementing and benchmarking neuro-symbolic models trained under secure MPC protocols. The postdoc will: Conduct theoretical and empirical research on DLs and MPC. Develop prototype implementations using existing MPC frameworks or custom solutions. Collaborate across disciplines including cryptography, machine learning, logic, formal methods. Contribute to publications in top-tier venues and help shape a new research frontier. We seek a candidate with: A PhD in Computer Science, Mathematics, Data Science, or a related field. Strong background in at least some of the following: machine learning, logic, cryptography and secure multi-party computation, formal verification. Experience with federated learning, differentiable programming, or symbolic AI is a plus. Proficiency with various programming languages such as Python, C++/Rust, functional languages. Experience with interactive theorem provers such as Rocq, Lean or Isabelle is a plus. Ability to work independently and collaboratively in an interdisciplinary environment.

Closing date for applications:

Contact: Alessandro Bruni

More information: https://candidate.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=181828&DepartmentId=3439&M

• Field of specification: Advanced research area related to quantum/digital security such as quantum security, post-quantum cryptography/system and security practice in general.
• Start of employment: April 1st, 2026 or any early possible date afterwards
• Deadline for application: November 7th, 2025

Further information: https://www.se.kanazawa-u.ac.jp/wp-content/uploads/2025/10/20251107_ec_en.pdf

Closing date for applications:

Contact: Masahiro Mambo

More information: https://www.se.kanazawa-u.ac.jp/wp-content/uploads/2025/10/20251107_ec_en.pdf

Event date: 17 August to 20 August 2026

Event date: 18 May to 21 May 2026

Event date: 8 June to 12 June 2026
Submission deadline: 15 January 2026
Notification: 26 March 2026