Sort by
Refine Your Search
-
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
-
development and marine management. Your primary tasks will be to: Compile and harmonize data from multiple sources (e.g., EMODnet, Copernicus, fisheries surveys, citizen science). Engage with data managers and
-
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