Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nanyang Technological University
- University of Oslo
- Harvard University
- Nature Careers
- Zintellect
- UiT The Arctic University of Norway
- University of Bergen
- National University of Singapore
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of Stavanger
- DAAD
- Simons Foundation/Flatiron Institute
- University of Birmingham
- University of British Columbia
- University of Nottingham
- The University of Queensland
- RMIT University
- University of Michigan
- Australian National University
- Humboldt-Universität zu Berlin
- Northeastern University
- RMIT UNIVERSITY
- UNIVERSITY OF SURREY
- Colorado State University
- INESC TEC
- Lawrence Berkeley National Laboratory
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Silesian University of Technology
- UNIVERSITY OF SOUTHAMPTON
- UNIVERSITY OF WESTERN AUSTRALIA
- University of Adelaide
- University of Oxford
- ;
- Baylor University
- Carnegie Mellon University
- New York University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Simons Foundation
- The University of Western Australia
- UCL;
- University of Agder (UiA)
- University of California
- University of Maryland, Baltimore
- University of Nottingham;
- University of Oxford;
- University of Stirling
- University of Surrey
- University of Texas at Austin
- Western Norway University of Applied Sciences
- Brown University
- Genentech
- George Mason University
- Imperial College London
- KING ABDULLAH UNIVERSITY OF SCIENCE AND TECHNOLOGY
- Korea Institute for Advanced Study
- Monash University
- NORTHUMBRIA UNIVERSITY
- NTNU Norwegian University of Science and Technology
- Nottingham Trent University
- Nova School of Business and Economics
- Princeton University
- The University of Alabama
- The University of Tokyo
- UNIVERSITY OF MELBOURNE
- Universidade de Coimbra
- University of Agder
- University of Alabama, Tuscaloosa
- University of Bristol
- University of New South Wales
- University of Otago
- University of Surrey;
- University of Texas Rio Grande Valley
- University of Warwick;
- Vanderbilt University
- AbbVie
- Argonne
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Auburn University
- Australian Academy of Science Research Funding
- CNRS
- Columbia University
- Curtin University
- Dana-Farber Cancer Institute
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- EMBL-EBI - European Bioinformatics Institute
- Edinburgh Napier University;
- FCiências.ID
- FEUP
- Fields Institute
- Fred Hutchinson Cancer Center
- Fritz Haber Institute of the Max Planck Society, Berlin
- GEORGETOWN UNIVERSITY
- Hiroshima University
- INESC ID
- Institute of Cosmos Sciences of University of Barcelona
- Institute of Photonic Sciences
- Instituto Politécnico de Bragança
- Johns Hopkins University
- KINGS COLLEGE LONDON
- 90 more »
- « less
-
Field
-
8 Nov 2025 Job Information Organisation/Company CNRS Department Laboratoire Jacques-Louis Lions Research Field Mathematics History » History of science Researcher Profile First Stage Researcher (R1
-
in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 hours ago
& PEWER Level A - Postdoctoral Fellow_MSI.pdf Position overview The Mathematical Sciences Institute is seeking to appoint one or two postdoctoral researchers at Level A. This position is funded by
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 2 days ago
7 Nov 2025 Job Information Organisation/Company AUSTRALIAN NATIONAL UNIVERSITY (ANU) Research Field Mathematics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
to the applications of mathematics in cryptography, computing, business, and finance. PAP covers many areas of fundamental and applied physics, including quantum information, condensed matter physics, biophysics, and
-
, or computer science A PhD or equivalent professional qualification and/or experience in the field of machine learning for biology and mathematical modelling Strong planning and organising skills Excellent written and
-
for candidates to pursue an independent research programme in applied mathematics, and to join a large existing cohort of leading researchers on Fellowship programmes at the Mathematical Institute: https
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 3 days ago
6 Nov 2025 Job Information Organisation/Company AUSTRALIAN NATIONAL UNIVERSITY (ANU) Research Field Mathematics Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) Country
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs