[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
