Sort by
Refine Your Search
-
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
-
. Excellent communication skills in written and spoken English is a requirement. The position includes independent scientific writing and supervision of students. You should be interested in contributing both
-
programming skills in Python and/or R Familiarity with machine learning frameworks (e.g., PyTorch, TensorFlow, scikit-learn) Excellent problem-solving, organizational, and communication skills Demonstrated
-
clearly aligned with the overall project activity. A very good capability of communicating scientific results in English, both orally and in writing is required. It is preferred if candidates have
-
PhD program, you must include a signed letter from your PhD supervisor stating your expected date of completion. Strong collaborative and communication skills and an interest in method development and
-
environment where English is the preferred language at meetings and seminars. You will work in the brand new NytSUND building being established in connection to the hospital and university campus with modern
-
. Programming experience is required (Python, R). Strong analytical, organizational, and record-keeping skills Interest in working in a multidisciplinary and multicultural team Willing to collaborate with
-
, or a closely related field. Strong programming and system integration skills in languages and platforms relevant to embedded systems (e.g., C/C++, Python, real-time operating systems). Research
-
. Experience with safety-critical control systems. Experience in programming and developing maintainable software. Furthermore, the successful candidates are expected to: Have excellent knowledge of English