Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
We are searching for a motivated Master's students to work on an innovative research project focused formally verified compilers for ZK-proofs. The candidates will be responsible for aiding
-
at 23:59 hours local Danish time The position is funded by the German Research Foundation (DFG), project “Abstract Techniques for Programming Languages and Secure Compilation”. The project builds
-
applications. Experience with software design, version control (Git), cross-platform development, and coupling Python with compiled languages (e.g., Pybind11). Demonstrated experience with FE modeling, analysis
-
at 23:59 hours local Danish time The position is funded by the German Research Foundation (DFG), project “Abstract Techniques for Programming Languages and Secure Compilation”. The project builds
-
science or similar. Experience with Fortran or other compiled software languages Experience with high performance numerical methods and parallelization Experience with writing and publishing scientific articles
-
Coordinating and overseeing the compilation of information for and writing of reports to various funding bodies, including ensuring that the Centre’s staff meet all reporting requirements Coordinating and
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
-
: Complete boat-based fieldwork in the Western Baltic Sea lasting 2-3 months in 2025 and 2026. Compile and analyze data sets resulting from the 2023-2026 fieldwork. Report project findings in peer-reviewed