53 proof-checking-postdoc-computer-science-logic uni jobs at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
. The job You will be a key contributor to the ongoing projects at DTU Chemical Engineering. Our large, well-equipped laboratory is used daily by both PhD students, Postdocs, researchers, and students, and we
-
processing tasks, including working knowledge of common computational biology libraries (e.g., Pandas, NumPy, Biopython). Experience in constraint-based metabolic modelling (e.g., cobrapy, memote). Experience
-
for security and export control, open-source background checks may be conducted on qualified candidates for the position. Embedded Systems Engineering (ESE) is one of the 10 research sections at DTU Compute
-
ethnic background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be
-
research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. Technology for