[TYPES/announce] 3-Year Postdoc in Structures and Homotopy in Optimisation

[Henning Basold]

Dear all,

I am currently looking for a postdoc to work on abstract structures in 
optimisation algorithms and theory. There are two directions: 1) 
understanding structures in algorithms via category theory and logic, 
and 2) developing further homotopy theory in optimisation by appealing 
also here to (higher) category theory.  Ideally, a candidate either has 
a strong background in optimisation algorithms and their mathematical 
underpinnings and would be willing to learn about structural methods 
from category theory, homotopy theory and higher category theory; or, 
alternatively, has a background in (higher) category theory and homotopy 
theory, combined with some understanding of algorithms and the 
willingness to dive into the subtleties of optimisation algorithms.

There is thus some leeway in the background, and mostly I am looking for 
someone who is willing to creatively engage in this project, and someone 
who can work together closely with me and researchers in our institute 
in optimisation.

The opening with a longer description and details for applicants can be 
found here:
https://urldefense.com/v3/__https://www.universiteitleiden.nl/vacatures/2024/q3/15041-postdoc-in-structures-and-homotopy-in-optimisation__;!!IBzWLUs!RCoWsG9r3W5R0q_n5X8oOAxdpiQjoxUW4OprTNnOdvQ3CkEnIe5PRdX2QOzb31JMl5oYQZV5irgVWvQuTzECxntqVnVSTB01AfvQmkn2Cg$ 
More details can also be requested directly from me.

I would be very grateful if you could forward this vacancy to anyone who 
you think may be interested.

Best,
Henning