Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Biology
- Engineering
- Medical Sciences
- Earth Sciences
- Education
- Statistics
- Social Sciences
- Environment
- Psychology
- Business
- Physics
- Electrical Engineering
- Chemistry
- Materials Science
- Humanities
- Science
- Linguistics
- Economics
- Arts and Literature
- Design
- 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
-
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