You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tom Hirschowitz (Nov 18 2024 at 13:56):Hi all,
The LAMA offers a full-time, 18 month postdoc position starting February 2025. The deadline is really soon: December 9! (Although the position should be re-published if not filled.)
The details are here
and there
https://www.univ-smb.fr/wp-content/uploads/2024/11/offre-emploi-post-doc-2024-100__lama_guli_vf.pdf
but let us give a brief summary.
Most numerical simulation programs compute with very little checks for physical consistency. Typically, adding a length (in metres) to a force (in newtons) is not detected as an error by the programming language. But the very purpose of type systems is to detect inconsistencies of a similar nature. E.g., they prevent addition of numerical values with arrays. Until now, programming language theorists have proposed solutions that are conceptually clear, but too naive to cover all use cases. On the other hand, other attempts tried to handle numerous cases independently, but eventually came out as too complex to be usable.
The goal of the present postdoc position is to try and design a conceptually clear solution covering all use cases.
The successful applicant will be based at LAMA, and work with @Tom Hirschowitz and @Pierre Hyvernat, but also with @Vincent Reverdy (who is a numerical physicist and the Particle Physics Laboratory in Annecy).
Relevant skills for the position include: type theory, category theory, programming language theory, programming in proof assistants, implementation of programming languages. It is definitely not necessary to possess all these skills to be successful.
Please don't hesitate to contact us if you have any question,
Tom Hirschowitz
Pierre Hyvernat
Vincent Reverdy