PhD position in Complex Dynamical Systems at the University of Amsterdam University of Amsterdam in Netherlands

Eindhoven University of Technology is recruiting two postdoctoral researchers for a 3-year project on the mathematical foundations of Digital Twins . The work sits at the interface of geometry , numerical analysis , scientific computing , and dynamical systems , with a strong emphasis on applied and computational mathematics. The post is announced by Rafael Bailo , Assistant Professor of Mathematics at TU/e, together with Mireille (Mimi) Boutin . The ideal background includes applied mathematics...

PhD opportunity at Eindhoven University of Technology (TU/e) in Safe AI-based Control , focused on developing neural-network-based controllers that are both expressive and certifiably safe. The project sits at the intersection of machine learning and control theory , and is designed for a student who wants to contribute to the foundations of trustworthy artificial intelligence for safety-critical applications. You will investigate analysis, verification, and design methods for neural controllers...

PhD studentship at the University of East Anglia (Norwich campus, United Kingdom) in mathematics , with a focus on number theory , representation theory , formal mathematics , and the Lean theorem prover . The project is titled Formalising the Local Langlands Correspondence for GL₂(F) in Lean and aims to begin the computer-assisted formalisation of a major theorem in the Langlands program. The research will develop a verified library for the representation theory of GL₂(F) and for two-dimensiona...

A fully funded PhD Graduate Research Assistantship is available at Lehigh University in the United States in Geometry-Based Control . The project focuses on nonlinear control systems , geometric control theory , robotics , autonomous systems , and intelligent dynamical systems . Research will center on developing mathematically rigorous control algorithms for complex robotic and autonomous systems using modern geometric and nonlinear control techniques, with applications in aerospace , robotics ...

Postdoctoral Research Associate at Northeastern University, United States This postdoctoral opening focuses on machine learning , control theory , synthetic biology , and related work in dynamical systems , systems biology , and algorithms and computation . The research combines tools from dynamical systems and control with mechanistic and ML-based approaches to study feedback controllers, context effects, and algorithmic analysis. The postdoc will contribute to research outputs, present finding...