Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- University of Oxford
- Aarhus University
- McGill University
- NEW YORK UNIVERSITY ABU DHABI
- Princeton University
- Chalmers University of Technology
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- University of Minnesota
- KINGS COLLEGE LONDON
- Delft University of Technology (TU Delft)
- Durham University
- Northeastern University
- Technical University of Denmark
- University of Aveiro
- Cornell University
- SUNY University at Buffalo
- University of Southern Denmark
- AALTO UNIVERSITY
- Aalborg University
- Chalmers tekniska högskola
- Hamilton College
- University of Virginia
- THE UNIVERSITY OF HONG KONG
- UNIVERSITY OF HELSINKI
- University of Central Florida
- University of Oxford;
- University of Sydney
- Delft University of Technology (TU Delft); Delft
- Stanford University
- Tilburg University
- University of Kansas
- ;
- Aix-Marseille Université
- DURHAM UNIVERSITY
- Fred Hutchinson Cancer Center
- IMT - Atlantique
- Lunds universitet
- New York University
- Pennsylvania State University
- UNIVERSITY OF SYDNEY
- University of Florida
- University of Kentucky
- University of Minho
- Wageningen University & Research
- AGH University of Krakow
- Copenhagen Business School
- Eindhoven University of Technology (TU/e)
- INESC ID
- Linköping University
- Luleå University of Technology
- Purdue University
- The Ohio State University
- UNIVERSITY OF VIENNA
- University of Colorado
- University of Turku
- Yale University
- DAAD
- Dartmouth College
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); yesterday published
- Emory University
- Georgetown University
- Ghent University
- Ghent University Global Campus
- Harvard University
- Indiana University
- Johns Hopkins University
- Lehigh University
- Michigan Technological University
- Nagoya University
- Ryerson University
- Texas A&M AgriLife
- UNIVERSITY OF READING
- University College Cork
- University College Dublin
- University of Antwerp
- University of Arkansas
- University of Bergen
- University of California, Berkeley
- University of California, Merced
- University of Glasgow;
- University of Oslo
- University of Oulu
- University of Tasmania
- University of Texas at El Paso
- University of Trás-os-Montes and Alto Douro
- University of Tübingen
- Wageningen University and Research Center
- Westlake University
- Aalborg Universitet
- Argonne
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Aston University
- Blekinge Institute of Technology
- Brunel University
- Bucknell University
- CNRS
- Canadian Association for Neuroscience
- 90 more »
- « less
-
Field
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
: François ROUSSEAU - Professor : francois.rousseau@imt-atlantique.fr Administrative/HR: Fanny BERNARD - Recruitment assistant: fanny.bernard@imt-atlantique.fr Website for additional job details https
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description As a leading general engineering school of the IMT-Institut Mines-Télécom
-
in the Azurém Campus, Guimarães, of Nélson Bruno Martins Marques Costa, Assistant Professor at the Department of Production and Systems at the School of Engineering at the University of Minho, and the
-
investigator) is a D-IAS Assistant Professor and Novo Nordisk Foundation Group Leader at the Genome Biology Research Unit, Department of Molecular Medicine, SDU. The Sahu lab integrates mouse genetics, single
-
Information request About the job : Benjamin POTELON - Professor : benjamin.potelon@imt-atlantique.fr Administrative/HR: Fanny BERNARD - Recruitment assistant: fanny.bernard@imt-atlantique.fr Website
-
associated with the NNAI Initiative. The postdoctoral scholar will work under the supervision of Professor Christopher Kelty, and with the assistance of the initiative Livescu NNAI and its Academic Coordinator
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Doctor Rui Manuel Costa Vieira de Castro, Professor and
-
-doctoral associate will spend half their time on independent research, and half their time on collaborative research with Professors Luca Maria Pesando and Raul Santaeulalia-Llopis. The collaborative
-
. of the Administrative Procedure Code. 3 — Call Jury 3.1 — In accordance with article 13 of the RJEC the call jury has the following composition: Chairman: Professor Doctor Rui Miguel Teixeira Novais, Assistant Professor