Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- CNRS
- NTNU - Norwegian University of Science and Technology
- Technical University of Munich
- University of Warwick;
- NTNU Norwegian University of Science and Technology
- Aalborg University
- Eindhoven University of Technology (TU/e)
- University of Antwerp
- University of Birmingham
- University of Luxembourg
- University of Nottingham
- University of Twente (UT)
- Utrecht University
- Leiden University
- Monash University
- University of Amsterdam (UvA)
- University of Bonn •
- University of East Anglia
- University of Göttingen •
- DAAD
- Forschungszentrum Jülich
- Ludwig-Maximilians-Universität München •
- The University of Manchester
- University of Warwick
- Queensland University of Technology
- Umeå University
- University of Copenhagen
- University of Groningen
- University of Innsbruck
- University of Twente
- Institute of Photonic Sciences
- KU LEUVEN
- Newcastle University
- SciLifeLab
- University of Oslo
- Wageningen University & Research
- Aarhus University
- Durham University
- Graz University of Technology
- ICN2
- Lulea University of Technology
- UNIVERSITY OF HELSINKI
- University of Basel
- University of Exeter
- University of Hamburg •
- Vrije Universiteit Amsterdam (VU)
- Wrocław University of Science and Technology
- AALTO UNIVERSITY
- Aalborg Universitet
- Abertay University
- Amsterdam UMC
- Blekinge Institute of Technology
- Centrum Wiskunde en Informatica (CWI)
- Dresden University of Technology •
- Fondazione Bruno Kessler
- Fraunhofer-Gesellschaft
- Goethe University Frankfurt •
- Grenoble INP - Institute of Engineering
- Heidelberg University
- Heidelberg University •
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- IMDEA Networks Institute
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Jane Street Capital
- Linköping University
- Maastricht University (UM)
- Manchester Metropolitan University;
- Max Planck Institute for Dynamics and Self-Organization, Göttingen
- Max Planck Institute for Meteorology •
- Murdoch University
- Norwegian University of Life Sciences (NMBU)
- Radboud University
- Ruhr-Universität Bochum •
- Technical University of Denmark
- Technische Universität Berlin •
- The International Institute of Molecular Mechanisms and Machines Polish Academy of Sciences
- UNIVERSITY OF VIENNA
- Universidade de Coimbra
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- University of Bergen
- University of Bremen •
- University of Cambridge
- University of Cambridge;
- University of Helsinki
- University of Münster •
- University of Oxford
- University of Southern Denmark (SDU)
- University of Sussex
- University of Vienna
- Uppsala universitet
- VIB
- AITHYRA GmbH - Research Institute for Biomedical Artificial Intelligence of the Austrian Academy of Sciences
- AMADE research group
- ARCNL
- Asociatia Transylvanian Institute of Neuroscience
- BAM Bundesanstalt für Materialforschung und -prüfung
- Babes-Bolyai University
- Bielefeld University •
- 90 more »
- « less
-
Field
-
mathematics. You will undertake a single, ambitious research project: to begin the formalisation of the local Langlands correspondence for GL₂(F) in the Lean interactive theorem prover by leveraging AI agents
-
, computer engineering, computer science, data science, mathematical engineering, robotics, or a closely related field. The candidate should have solid mathematical and analytical skills and a strong interest
-
11 Jul 2026 Job Information Organisation/Company Charles University, Faculty of Mathematics and Physics Research Field Computer science Researcher Profile Recognised Researcher (R2) Application
-
Engineering, visit rug.nl/fse . The successful candidate will join the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence within the Faculty of Science and Engineering at
-
the others. A Master’s degree (or completion before September 2026) in Economics, Econometrics, Actuarial Science, Applied Mathematics, Environmental Sciences or a related field; Strong quantitative
-
others. A Master’s degree (or completion before September 2026) in Computer Science, Artificial Intelligence, Applied Mathematics, Hydrology, Civil Engineering, Actuarial Science or a related field; Strong
-
: Completed, or soon-to-be completed MSc in the biological sciences or different fields in the natural sciences (e.g. computational, mathematical, earth or marine sciences) with a strong interest in ecology and
-
degree (completed or near completion) in Computer Science, Machine Learning, Mathematics, Physics, Statistics, or a related quantitative field. A solid background in machine learning, statistics and/or
-
of Clinical Medicine, Aalborg University, we are offering a fully funded 3-year PhD position starting November 1, 2026, or soon hereafter. Your work tasks This PhD sits at the intersection of mathematics
-
the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente in Enschede, the Netherlands. You will carry out the research at the University of Twente, with