Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
Two Postdocs in Programming Languages Reference number REF 2026-0339 Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and
-
focus time on research for up to two years, teach one course per academic year, be involved with the Center for Languages, Literatures, and Cultures’ extensive programming around preparing students in
-
purposes. Job Requirements: Specific Required Skills: Proficiency in programming languages such as Python, Java, and R. Expertise in machine learning algorithms and data structures. Experience with AI
-
for Languages, Literatures, and Cultures’ extensive programming around preparing students to enter careers in our global environment, participate in the activities within the Department, and have a
-
years allowing for an in-depth start on scholarship, teach one course per academic year, be involved with the Center for Languages, Literatures, and Cultures’ extensive programming around preparing
-
appropriate programming languages, tools, or frameworks. Experience collaborating with faculty, students, and interdisciplinary research teams in an academic research environment. Required Education Ph.D
-
programming skills (the research is often performed in MATLAB/Python; therefore, knowledge of these programming languages is welcome)- Machine learning experience is valued.- Multiphase flow and heat/mass
-
Biological & Life Sciences Division – Postdoc Researcher: AI for Precision Medicine and Therapeutics
intelligence (AI), machine learning (ML), deep learning (DL), LLMs, genomics, agentic AI, computational chemistry and related areas. Proficiency in programming languages commonly used in bioinformatics and AI
-
Security”. The postdocs will conduct research on program analysis within the Programming Languages, Logic, and Software Security research group at Aarhus University. The focus of the positions will be in