Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Universidade Católica Portuguesa - Porto
- University of New Mexico
- Virginia Community College
- Washington State University
- The California State University
- University of Maryland, Baltimore
- Colorado State University
- Instituto Politécnico de Bragança
- University of Washington
- Texas A&M AgriLife Extension
- Texas A&M University
- Oak Ridge National Laboratory
- University of Cincinnati
- University of San Diego
- Texas A&M University System
- California State University, San Bernardino
- Technical University of Denmark
- University of California, San Diego
- University of Houston Central Campus
- University of Sheffield
- Washington University in St. Louis
- George Washington University
- Instituto de Telecomunicações
- REQUIMTE - Rede de Quimica e Tecnologia
- TTI
- University of Colorado
- University of Nevada Las Vegas
- University of Saskatchewan
- Bellevue College
- California State University East Bay
- ESS - Escola Superior de Saúde
- Fayetteville State University
- Johns Hopkins University
- Nature Careers
- South Dakota State University
- Technical University of Munich
- Universidade Católica Portuguesa - RIO
- University of Kansas
- University of Massachusetts Medical School
- University of Miami
- University of Michigan
- University of Oklahoma
- BI Norwegian Business School
- Brown University
- CNRS
- Cal Poly Pomona
- Chalmers University of Technology
- FESB, Split
- INESC ID
- IRIT, Université de Toulouse
- Kennesaw State University
- Massachusetts Institute of Technology
- Medical College of Wisconsin
- Stony Brook University
- Télécom Paris
- University System of Georgia
- University of Birmingham
- University of Cantabria
- University of Groningen
- University of Lodz
- University of Manchester
- University of Maryland
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- Villanova University
- ;
- ; The University of Edinburgh
- ; University of Cambridge
- Aarhus University
- Alliant International University
- Arizona State University
- Barry University
- Bowling Green State University
- Brookhaven National Laboratory
- California State University San Marcos
- Canadian Association for Neuroscience
- Central Michigan University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Dalhousie University
- Dana-Farber Cancer Institute
- Deakin University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Drexel University
- Duke University
- Embry-Riddle Aeronautical University
- Emory University
- European Space Agency
- FEUP
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Florida Atlantic University
- Fraunhofer-Gesellschaft
- Georgia College
- Hannover Medical School •
- Harvard University
- ICFO - The Institute of Photonic Sciences
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Science
- Materials Science
- Business
- Education
- Arts and Literature
- Biology
- Electrical Engineering
- Mathematics
- Psychology
- Philosophy
- Chemistry
- Law
- Linguistics
- Social Sciences
- Earth Sciences
- Humanities
- Environment
- Physics
- Sports and Recreation
- 13 more »
- « less
-
Job Description Position Details School of Computer Science Location: University of Birmingham, Edgbaston, Birmingham UK Full time starting salary is normally in the range £36,636 to £46,049 with
-
jointly supervised by Dr Wenda Li (AI for Mathematics) and Dr Mai Luo (ML Systems), and will collaborate with team members based at the School of Informatics, University of Edinburgh, and the University
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
Additional Information Eligibility criteria -Doctorate in mathematics, theoretical computer science, or linguistics, prior to the start of the contract. -Advanced level in at least one of the following areas
-
theoretical interests who wants to work at the intersection of quantum information science and cryptography. Training will include advanced quantum theory, computational complexity, and formal reasoning about
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
languages, logic, formal verification or a related field. You have some experience building programming language tooling (e.g. compilers, interpreters, program analysis tools, program synthesis tools
-
The Ira A. Fulton Schools of Engineering at Arizona State University (ASU) and the School of Computing and Augmented Intelligence (SCAI) seek applicants for a tenure-track or tenured faculty
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
for Computational Sciences, Computing and Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL). This position offers an exciting opportunity to contribute to research in nuclear theory using