Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Aarhus University
- Chalmers University of Technology
- University of Oregon
- ;
- AALTO UNIVERSITY
- CNRS
- Eindhoven University of Technology (TU/e)
- Faculty of Science University of Zagreb
- New York University
- Radboud University
- Technical University of Munich
- UNIVERSITY OF WESTERN AUSTRALIA
- University College Dublin
- University of North Carolina at Chapel Hill
- University of South Carolina
- University of Utrecht
- Université de Bourgogne (University of Burgundy)
- Wuhan University
- 8 more »
- « less
-
Field
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
Systems, and Representations of Lie Algebras, at the Department of Mathematics, the PMF – 1 person. Where to apply Website https://posao.pmf.hr/opening-login?openingUUID=10a5291a-ffb5-448d-954e-242933cd
-
Researcher will work in Professor Benjamin Peherstorfer’s group (https://cims.nyu.edu/~pehersto/ ) on scientific machine learning at the Courant Institute of Mathematical Sciences where they will help
-
Position Description Join a dynamic research group focused on (noncommutative) algebraic geometry, with connections to representation theory. This position offers opportunities for collaboration
-
of Mathematics. This position is intended to start September 16, 2026, and end June 15, 2027. The position is non-renewable. Application Process: Candidates are asked to apply online at https://www.mathjobs.org
-
Click to read more about the Dublin Innovation Institute (DII): https://dublininstitute.northeastern.edu/about/ Term: 10 months, full time Reports to: Dr. Shashi Murthy, Head of Institute. Prof. Giovanni
-
Annual Basis: 9 Month Review of Applications Begins July 2, 2026; position open until filled Special Instructions to Applicants Apply online at https://www.mathjobs.org/jobs/list/28408 by submitting a
-
of computing, automata theory, graph theory, discrete mathematics, probability theory and stochastics, and linear algebra. We also value skills in e.g. using computational techniques in TCS, familiarity with
-
languages (such as advanced type systems and functional logic programming) to bridging the gap between ad hoc array processing and formally verified functional programming using interactive theorem provers
-
; rather, they will be developed in dialogue between teachers and researchers based on the needs and interests of the schools. For more information ULF at Chalmers see: https://www.chalmers.se/institutioner