Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Forschungszentrum Jülich
- The California State University
- NEW YORK UNIVERSITY ABU DHABI
- University of Oslo
- Chalmers University of Technology
- University of Hawai`i at Hilo
- University of Utah
- University of Copenhagen
- University of Washington
- Carnegie Mellon University
- CNRS
- Northeastern University
- Illinois State University
- KTH Royal Institute of Technology
- Technical University of Munich
- Cornell University
- Harvard University
- Nanyang Technological University
- University of Lund
- University of North Carolina at Chapel Hill
- University of Innsbruck
- University of Vienna
- Delft University of Technology (TU Delft)
- The Ohio State University
- University of California, San Francisco
- AALTO UNIVERSITY
- California State University, Chico
- European Space Agency
- NTNU Norwegian University of Science and Technology
- SUNY University at Buffalo
- UNIVERSITY OF VIENNA
- University of Agder (UiA)
- VIB
- Yale University
- Aalto University
- California State University, San Bernardino
- INESC TEC
- Inria, the French national research institute for the digital sciences
- National University of Singapore
- RMIT University
- University of Illinois at Urbana Champaign
- University of Jyväskylä
- Wageningen University & Research
- George Washington University
- Ghent University
- King's College London
- New England HERC
- Swedish University of Agricultural Sciences
- Technical University of Denmark
- The University of Arizona
- University of California
- University of Luxembourg
- University of Nebraska–Lincoln
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aalborg Universitet
- Aarhus University
- Chapman University
- GSI Helmholtzzentrum für Schwerionenforschung
- Georgetown University
- Helmholtz Association of German Research Centres
- Linköping University
- Lulea University of Technology
- McGill University
- Purdue University
- Rutgers University
- St Jude Children's Research Hospital
- Stanford University
- The Faculty of Technology and Society
- University of Arkansas
- University of Glasgow
- University of Gothenburg
- University of Nevada, Reno
- University of North Carolina at Charlotte
- University of North Texas at Dallas
- Amsterdam UMC
- Bryant University
- California State University, Los Angeles
- Dalhousie University
- Duke University
- EPFL
- KU LEUVEN
- Luxembourg Institute of Science and Technology (LIST)
- Maastricht University (UM)
- Monash University
- OSU
- Oregon State University
- The University of Iowa
- UNIVERSITY OF HELSINKI
- University of Amsterdam (UvA)
- University of Bergen
- University of California, Berkeley
- University of California, Los Angeles
- University of Helsinki
- University of Kansas Medical Center
- University of Nebraska Medical Center
- University of New Brunswick
- University of Southern Denmark
- University of Southern Denmark (SDU)
- Universität Wien
- Virginia Community College
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Earth Sciences
- Education
- Statistics
- Social Sciences
- Environment
- Psychology
- Business
- Physics
- Electrical Engineering
- Chemistry
- Materials Science
- Humanities
- Science
- Linguistics
- Arts and Literature
- Design
- Economics
- Law
- Mathematics
- Sports and Recreation
- 14 more »
- « less
-
. Studying the integration of reversible features into mainstream irreversible languages. Exploring domain-specific features to identify novel language idioms specific to reversible programming and
-
psychology General proficiency in at least one programming language (Python preferred) Willingness to learn Python or R (training can be arranged) Ability to work independently and quickly
-
doctoral research. Experience in compiler design, program analysis, and language semantics, regardless of programming paradigm, is an advantage. Prior knowledge of reversible computing is not needed
-
and AI systems, drawing on areas such as programming language theory, logic and category theory. Where appropriate, you will also design, implement and evaluate software tools that put these methods
-
least one programming language (Python preferred) Willingness to learn Python or R (training can be arranged) Ability to work independently and quickly Meticulousness, attention to detail, and a strong
-
international environment spanning the Functional Programming and Formal Methods units. We conduct world-leading research in programming language design, semantics, interactive theorem proving, and
-
organize and analyze biomedical and healthcare data to promote health for all. More information about BIDS can be found here: https://medicine.yale.edu/biomedical-informatics-data-science/ (Link is
-
About us Based within the Division of Psychology and Language Sciences in UCL’s Faculty of Brain Sciences, the Department of Linguistics brings together theoretical, experimental and computational
-
George Washington University | Washington, District of Columbia | United States | about 2 months ago
Recruitment Plan I. RECRUITMENT PLAN Posting Number: F002581 Academic Title: Teaching Assistant Professor of Italian language Rank: Teaching Assistant Professor Administrative Title: Discipline
-
nearing completion of) in computer science or a closely related field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and