Postdoctoral Position in Algebraic Graph Theory, Combinatorics, and Mathematics at Eindhoven University of Technology Eindhoven University of Technology in Netherlands

Postdoc opportunity in algebraic graph theory and applications at Eindhoven University of Technology (TU/e) in the Netherlands, within the Algebraic Combinatorics group in the Department of Mathematics and Computer Science. The project focuses on spectral graph theory and its interaction with related areas such as extremal graph theory and coding theory . The successful candidate will conduct scientific research on these topics and may contribute a small amount of time to educational tasks. This...

At Eindhoven University of Technology (TU/e) in the Netherlands, the Algebraic Combinatorics group within the Department of Mathematics and Computer Science is recruiting for a 1-year postdoc position in Algebraic Graph Theory and Applications . The project is supervised by Prof. Aida Abiad and focuses on spectral graph theory and its interactions with related areas such as extremal graph theory and coding theory . The successful candidate will carry out scientific research in the topic area, wi...

Javad Taghipour, Senior Lecturer in Mechanical Engineering at the Dyson Institute, says a fully funded PhD position will be advertised soon. The project sits at the intersection of physics-informed machine learning , nonlinear model identification , and structural dynamics . This is a strong fit for candidates interested in advanced engineering research that blends mechanics, data-driven modeling, and computational methods. The post does not yet include the official advert, eligibility criteria,...

Postdoctoral research position at Delft University of Technology (TU Delft) in the Programming Languages group , Department of Software Technology, working on the interface between category theory , computer proof assistants , and computer algebra systems . The project aims to connect a proof assistant such as Rocq, Lean, or Agda with CAP (Categories, Algorithms, Programming) , a software system for computational category theory implemented in GAP and part of the homalg project. The goal is to m...

Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols within the Department of Computer Science, Faculty of Science. The project focuses on developing systematic formal reasoning principles to describe concurrent cryptographic protocols and analyze their security. This opportunity is centered on computer science , with strong links to mathematics , cryptography , security , functional programming , and proof assistants such as Haskell...