6 software-formal-method-phd Postdoctoral research jobs at Technical University of Denmark
-
- Familiarity with method development, data processing software, and QA systems - Knowledge of ISO17025 accreditation processes - Good English communication skills (written and verbal) - Experience with sample
-
qualification, you must hold a PhD degree in computer science, software engineering, biomedical engineering, data science, or a similar field. Your project management skills include: Experience in technical
-
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
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal
-
. Develop GUI tools for the developed methods. Publish high-quality journal papers. Supervise MSc student projects and be co-supervisor for PhD students. The successful candidate is expected to have: A keen