Monday, November 3, 2025

[DMANET] Open positions (WASP PhD student, postdoc, and ELLIIT research engineer) at Reasoning and Learning Lab, Linköping University, Sweden

I am looking for great people to join my lab. We are a dynamic,
interdisciplinary and excellent research environment in AI, ML, MAS, and
autonomous systems making significant scientific contributions and
publishing in high impact venues. Linköping is a growing AI cluster
combining research excellence in AI, about AI, and with AI together with
top-level research infrastructure including Berzelius (NVIDIA SuperPod),
Arrhenius (EuroHPC), and Mimer (AI Factory).

WASP PhD student in AI and cyber security:
https://liu.se/en/work-at-liu/vacancies/27831
AI4x
Postdoc in AI/ML and Material Science:
https://liu.se/en/work-at-liu/vacancies/27826
ELLIIT Research Engineer in Large-Scale AI:
https://liu.se/jobba-pa-liu/lediga-jobb/27799

Please spread!

Cheers,
Fredrik
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] GOL'26: New deadline November 10th. CFP “Emerging trends, challenges and innovations in transportation and logistics”

Dear Colleagues,
we are organizing an invited session titled "*Emerging trends, challenges
and innovations in transportation and logistics*" at the 8 th International
Conference on Logistics Operations Management-GOL'26- May 07–09, 2026, FEZ,
Morocco.
This special session aims to explore and disseminate recent theoretical
advances, technical applications, case studies and results related to the
modeling, optimization and resolution of problems on transportation and
logistics, highlighting the latestdevelopments to address the evolving
complexities
in managing the system.
We welcome research addressing these critical topics and emerging
challenges that are driving the transportation and logistics sector in
unexplored directions.
Topics under this session include (but not limited to)

- Green and sustainable transportation
- Resilience and risk management under disruption
- Infrastructure and policy innovations
- Collaborative and decentralized logistics
- Digital transformation in logistics and transportation
- Automated and AI-driven logistics
- Integrated multi-stakeholder systems
- Emerging issues in City Logistics
- Revenue management in logistics and transportation

To submit your paper of 6-10 pages please visit the Sciencesconf platform
at https://gol26.sciencesconf.org/.
All accepted papers will be published in the GOL'2026 book within Springer
and submitted for consideration to SCOPUS, and DBLP.
For further information, please do not hesitate to contact us.
Best wishes, and we look forward to seeing you soon!

The Session Chairs:

Prof. Maria Elena Bruni (mariaelena.bruni@unical.it)
Prof. Ioana Bilegan (ioana.bilegan@uphf.fr)
Prof. Guido Perboli (guido.perboli@polito.it)

-------------------------------------------------------------
Maria Elena Bruni
Associate Professor of Operations Research
University of Calabria (Italy)
Associate Member
Centre Interuniversitaire de Recherche sur les Réseaux d'Entreprise, la
Logistique et le Transport, CIRRELT, Montreal
Scopus <https://www.scopus.com/authid/detail.uri?authorId=14040099200>
-------------------------------------------------------------

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [DMD2026] Discrete Mathematics Days 2026 - first announcement

Discrete Mathematics Days 2026 - First announcement

The Discrete Mathematics Days 2026 (DMD 2026) will be held at the
University of Granada, Spain from 29 June to 1 July 2026.

The main focus of this international conference is on current topics in
Discrete Mathematics, including (but not limited to):
- Coding Theory and Cryptography.
- Combinatorial Number Theory.
- Combinatorics.
- Discrete and Computational Geometry.
- Discrete Optimization.
- Graph Theory.
- Theoretical Computer Science.

The previous four editions were held in Alcalá de Henares in 2024
(https://dmd2024.web.uah.es), Santander in 2022 (postponed from 2020,
https://dmd2022.unican.es), Sevilla in 2018
(https://web.archive.org/web/20190417002813/http://congreso.us.es/dmd2018/)
and Barcelona in 2016
(https://web.archive.org/web/20170504215505/http://discretemath.upc.edu/jmda16),
inheriting the tradition of the Jornadas de Matemática Discreta y
Algorítmica (JMDA), the Spanish biennial meeting on Discrete Mathematics
started in 1998.

The program consists of four plenary talks, a number of shorter
contributed talks in two parallel sessions, and a poster session. The
plenary speakers are:

- Martina Juhnke (Universität Osnabrück)
- Kolja Knauer (Universitat de Barcelona)
- Lisa Sauermann (Universität Bonn)
- Dimitrios Thilikos (LIRMM, Montpellier)

The important dates are the following.

- Deadline for submitting extended abstracts: 7 April 2026 (23:59 CET)
- Communication of acceptance: 15 May 2026
- Deadline for submitting final versions of accepted contributions: 29
May 2026
- Deadline for early registration: 29 May 2026

A call for contributed talks and posters will be open soon. They will be
reviewed and approved by the Scientific Committee, consisting of:

- Aida Abiad, Eindhoven University of Technology (TU/e), Vrije
Universiteit Brussel.
- Marie Albenque, Université Paris Cité, CNRS.
- Julia Böttcher, London School of Economics and Political Science.
- Maria Bras-Amorós, Universitat Politècnica de Catalunya.
- Vida Dujmović, University of Ottawa.
- Alberto Espuny Díaz, University of Heidelberg.
- Delia Garijo (co-chair), Universidad de Sevilla.
- Andrew Goodall, Charles University.
- Gyula Károlyi, Eötvös Loránd University and Renyi Institute Budapest.
- Daniel Král', Leipzig University, Max Planck Institute for Mathematics
in the Sciences.
- Amanda Montejano, Universidad Nacional Autónoma de México.
- Eran Nevo, Universidad de Valladolid, Hebrew University.
- Marc Noy, Universitat Politècnica de Catalunya.
- Guillem Perarnau (co-chair), Universitat Politècnica de Catalunya.
- Gelasio Salazar, Universidad Autonoma de San Luis Potosi.
- Francisco Santos, Universidad de Cantabria.
- Alex Scott, University of Oxford.
- Julia Wolf, University of Cambridge.

A limited number of accommodation grants will be available for graduate
and PhD students presenting a talk or poster at the conference.

For more information please visit the conference website
https://dam-network.github.io/dmd2026

Sincerely,

The organising committee, consisting of:

- Pedro A. García-Sánchez, University of Granada, Spain (chair)
- Javier Lobillo Borrero, University of Granada, Spain
- Aureliano M. Robles-Pérez, University of Granada, Spain
- Evangelina Santos Aláez, University of Granada, Spain

PS: Apologies for possible multiple posting.

-- DMD 2026https://dam-network.github.io/dmd2026/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, November 2, 2025

[DMANET] 3-year postdoc in Freiberg connected to Lean

The Discrete Structures Group of Prof Johannes Carmesin is inviting
applications for a postdoc position that takes a leading role in the
ProofBench project, which develops a benchmark suite for evaluating AI
theorem provers.

To apply send a CV by email to "johannes.carmesin@gmail.com" and
additionally please follow the instructions at
https://tu-freiberg.de/media/18526/download

Duration: 3 years
Where: TU Freiberg, Germany
Application deadline: December 1st 2024 (extended)
Starting date: as soon as possible
Further information: https://j-carmesin.github.io/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Saturday, November 1, 2025

[DMANET] PIMS Postdoctoral Fellowship in Combinatorics at the University of Victoria

Dr. Natasha Morrison and Dr. Jonathan Noel are seeking candidates in the area of combinatorics to nominate for a Postdoctoral Fellowship from the Pacific Institute for the Mathematical Sciences (PIMS) to be held at the University of Victoria in Canada. If the nomination is successful, the salary will be at least $60,000 CAD. A small number of top applicants across all PIMS member universities and areas of mathematics will also receive a PIMS Simons Award of $10,000 CAD. The fellowship is for one year and is renewable, contingent on satisfactory progress, for an additional year. The starting date is flexible and may be July 1, 2026 or later.

Applications should be submitted through MathJobs at this link before November 15, 2025: https://www.mathjobs.org/jobs/list/27167. Interviews will take place during the second half of November. Candidates selected for nomination will then be directed to resubmit their application to PIMS for the second stage of the process by December 1. Informal inquiries can be made by e-mail to Natasha Morrison (nmorrison@uvic.ca) and Jonathan Noel (noelj@uvic.ca).

The University of Victoria has a thriving Discrete Mathematics Group with 5 research faculty, 2 teaching faculty, 4 adjunct faculty, 1 postdoc, an enthusiastic cohort of graduate and undergraduate research students, and a weekly seminar. We strongly value the experiences and qualities that people from diverse backgrounds bring to the group. As such, we particularly encourage applications from members of groups underrepresented in mathematics. An equity, diversity, and inclusion statement highlighting your experiences, current contributions and future plans for advancing EDI in mathematics will be required at the second stage of the process. We encourage candidates to include such a statement in the first stage application as well.

More information:
Mathjobs Link: https://www.mathjobs.org/jobs/list/27167
PIMS Postdoctoral Fellowships: https://www.pims.math.ca/programs/scientific/postdoctoral
Natasha Morrison: https://web.uvic.ca/~nmorrison/
Jonathan Noel: https://jonathannoel.ca/
UVic Math and Stats Department: https://www.uvic.ca/science/math-statistics/index.php
UVic Discrete Math Group: https://www.uvic.ca/science/math-statistics/research/home/discrete-math/index.php
UVic Discrete Math Seminar: https://www.uvic.ca/science/math-statistics/home/home/events/seminars/discrete-math/index.php

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] MSc Opportunity in Theoretical Computer Science - FLAReLab at StFX (Canada)

********************
MSc OPPORTUNITY IN THEORETICAL COMPUTER SCIENCE
St. Francis Xavier University, Antigonish, NS, Canada
Fully-funded two-year grad program, opportunity to continue to PhD
Start date: September 2026
Deadline: February 15, 2026
********************

[Please share widely]

The Formal Languages and Automata Research Lab (FLAReLab) at St. Francis Xavier University is seeking motivated students to join our MSc program. While the lab's research focus is formal language theory and automata theory, graduate students may choose to study any area of theoretical computer science adjacent to formal languages and automata.

FLAReLab offers opportunities for collaboration with theory researchers across Canada and around the world. Members of FLAReLab regularly travel both nationally and internationally to present their research to the theory community. Our lab's work is supported by a major grant from the Natural Sciences and Engineering Research Council of Canada (NSERC).

FUNDING:
This MSc opportunity comes with a funding package that fully covers the cost of tuition for two years as well as some living expenses. Students may also be eligible for federal/provincial scholarships, university scholarships, teaching assistantships, and other awards. FLAReLab has funding available for travel to conferences.

LOCATION:
St. Francis Xavier University (StFX) is located in Antigonish, the heart of northeastern Nova Scotia, Canada. The StFX campus offers a small, supportive environment nestled in a welcoming town surrounded by green forests, rolling hills, and the ocean breeze. Antigonish is situated close to Maritime cities including Halifax, Charlottetown, and Saint John, and it is served by Halifax Stanfield International Airport. Major Canadian cities like Montreal, Ottawa, and Toronto are all accessible by car, train, and plane.

DEADLINE:
The deadline for applications is February 15, 2026, for a September 2026 start date. Please indicate interest well in advance - some scholarship deadlines are as early as December 1, 2025.

WEBSITE:
The lab's website is available at http://taylorjsmith.xyz/flarelab/.

APPLY:
Application instructions can be found on the lab's website. For more information, please contact the director of FLAReLab, Taylor J. Smith, by email at tjsmith@stfx.ca.

--
Taylor J. Smith
Assistant Professor
Department of Computer Science
St. Francis Xavier University


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Postdoc position in combinatorics and/or model theory at the Czech Academy of Sciences

The Institute of Computer Science of the Czech Academy of Sciences in
Prague is advertising a postdoctoral position, to join the Czech Science
Foundation project *Model theory, structural combinatorics, and algorithms*,
led by Samuel Braunfeld. Expertise in combinatorics alone (or model theory
alone) is fine.


The anticipated start date is in the fall of 2026 (negotiable), and would
provide funding until the end of 2028. Applications received by January 16,
2026 will be guaranteed full consideration, but later applications will
continue to be considered until the position is filled.


More information at the official job advertisement
<https://www.cs.cas.cz/job-offer/Postdoctoral-fellow-postdoctoral-researcher-Braunfeld-2025/en>
.


-Samuel Braunfeld

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] DC Online Resources (IFORS)

As our material progresses, this is just a reminder every now and then.
To access information regarding IFORS Developing Countries resources, its regular updates – and to submit your possible "free" (not copyright protected) material, you may occasionally visit the link:

http://ifors.org/developing_countries/index.php?title=Main_Page .

With this open online resources page we aim to provide a platform to make research and applications of OR widely accessible to the entire OR community including researchers, academicians and scholars in the Developing Countries (DCs).

For this purpose we invite scholarly contributions spanning across all areas and sectors ranging from arts and science, to communication and education.

The International Federation of Operational Research Societies (https://www.ifors.org) is a 65-year-old organization which is currently composed of 54 national societies. Regional Groups of are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies). conferences are held every three years. The conference 2023 was held very successfully in Santiago, Chile; the next exciting IFORS conference will be celebrated in 2026 in Vienna. Please visit the following link for details regarding the same: https://www.ifors2026.at/home/.

Thank you very much for your attention. We look forward to your enthusiastic participation and scholarly contributions.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************