Category Theory
Zulip Server
Archive

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.

Stream: community: positions

Topic: MCF (Associate Professor) at LIPN

Damiano Mazza (Jan 30 2024 at 15:26):

LIPN (the CS lab at Université Sorbonne Paris Nord) is opening a maître de conférence position (MCF, roughly equivalent to Associate Professor) in the logic group.

We seek someone who may contribute to one of the following research topics:

• Theory of programming languages: any research topic in line with the expertise of the group (linear logic, lambda-calculus, denotational semantics). Additional expertise and interest in the following topics will be appreciated: semantics of probabilistic or differentiable programming languages, category theory and its applications to computer science, complexity and quantitative program analysis.
• Proof assistants and type theory: albeit not a central theme in the group, this topic may be reinforced by a MCF with direct experience in formal proofs (program correctness, formalization of mathematical theories...) or with expertise in the foundations of proof assistants, such as type theory and its semantics.

Teaching for this position is very peculiar: it's at the Département de Gestion (Accounting) of IUT St-Denis, and basically involves teaching Word, Excel, elementary database stuff, etc. It's far from exciting but, on the plus side, it leaves plenty of time for research. Also, there is the possibility of teaching a limited number of hours in more "usual" undergraduate and graduate level classes at the CS Department.

Fluency in French is expected.

Deadline for application is March 29th.

Damiano Mazza (Jan 30 2024 at 15:27):

Apart from me, there are at least two other members of the group on this Zulip: @Morgan Rogers (he/him) and @Flavien Breuvart. Do not hesitate to contact us for additional infomation.

Marie Kerjean (Jan 30 2024 at 15:57):

I'm at the LIPN and on this zulip too, even if never post, feel free to ask questions :-)