Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after Summer 2026, with
-
applications for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after
-
needs. Participate in the Urban M2O dissemination activities and contribute to the preparation of the project scientific reports You are expected to have, or to rapidly develop, good programming skills
-
., camera traps, thermal imaging, acoustic sensors) Practical skills in programming and analysis of large datasets Publication record in relevant areas Ability to communicate effectively in English, both
-
., programming language theory, formal methods, or algorithms/optimization) and be open to practical computational experiments. PostDoc applicants must further demonstrate a solid history of academic writing and
-
development for postdocs at AU. You can read more about it here: https://talent.au.dk/junior-researcher-development-programme/ If nothing else is noted, applications must be submitted in English. The
-
documented research experience in a related field. The applicant should have experience in one or more of the areas/fields mentioned below Proficiency in programming languages such as Python or R. Experience
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The Human-Centred Computing Section
-
components for the 3D-CIRCULAR educational and certification programmes in collaboration with partner institutions. Managing and documenting progress for the second and third programme cohorts. Facilitating