PhD Position in formal methods and synthetic mathematics, focusing on proof assistants. Conduct research, publish papers, formalize results, and collaborate with leading teams. Travel to conferences, funding available. Fixed-term contract; Master in CS required; English proficiency; monthly salar...