Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Country
- 
                Employer- Japan Agency for Marine-Earth Science and Technology
- Ecole Centrale de Lyon
- Inria, the French national research institute for the digital sciences
- RIKEN
- Technical University of Munich
- Academia Sinica
- Durham University
- Emory University
- Illinois Institute of Technology
- Stony Brook University
- CNRS
- Embry-Riddle Aeronautical University
- Georgia Southern University
- Kent State University
- Linköpings University
- MASARYK UNIVERSITY
- Masaryk University
- Nature Careers
- Rutgers University
- SUNY University at Buffalo
- THE UNIVERSITY OF HONG KONG
- The Hebrew University of Jerusalem
- The Ohio State University
- The University of Memphis
- Universite de Montpellier
- University of Central Florida
- University of Durham
- University of Florida
- University of Kentucky
- University of Maine
- University of Oxford
- University of South Carolina
- University of Texas at Dallas
- Université Savoie Mont Blanc
- 24 more »
- « less
 
- 
                Field
- 
                
                
                de Rham" methods, the main feature of which is to reproduce subtle mathematical properties expressed by Hilbert complexes at the discrete level. The developments envisaged within the NEMESIS project 
- 
                
                
                on Topological methods in Discrete Mathematics and conduct research related to problems in Combinatorics, Graph theory and aspects of the Constraint Satisfaction Problem (CSP) with emphasis on topological methods 
- 
                
                
                on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and 
- 
                
                
                Discrete Mathematics and conduct research related to problems in Combinatorics, Graph theory and aspects of the Constraint Satisfaction Problem (CSP) with emphasis on topological methods. Further 
- 
                
                
                Desired Start Date 11/10/2025 Job Summary Looking for a post-doctoral Research Associate to perform full-time mathematical research with the goal of developing a practical yet rigorous mathematical 
- 
                
                
                reproduce subtle mathematical properties expressed by Hilbert complexes at the discrete level. The developments envisaged within the NEMESIS project involve combining highly sophisticated tools for numerical 
- 
                
                
                research and teaching in applied analysis, computational mathematics, data science, discrete mathematics, financial mathematics, stochastics, and statistics. The Department of Applied Mathematics is the only 
- 
                
                
                . Posting Summary DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, invites applications for postdoctoral associate positions for 2026-2028. The postdoc will be mentored by a 
- 
                
                
                contribute to the advancement of the field. Requirements: Theorem-proving Background: A strong foundation in mathematical modeling, particularly stochastic processes, information theory and discrete 
- 
                
                
                Postdoctoral Research Associate ( Job Number: 25001451) Department of Mathematical Sciences Grade 7: - £38,784 per annum Fixed Term - Full Time Contract Duration: up to 30 months Contracted Hours