Sort by
Refine Your Search
-
University of British Columbia | Northern British Columbia Fort Nelson, British Columbia | Canada | 3 months ago
, Canada [map ] Subject Areas: Mathematics, Fisheries Management, Cell Migration Appl Deadline: 2025/05/30 11:59PM * (posted 2025/04/10, listed until 2025/05/30) Position Description: Apply Position
-
to 708 000 SEK over two years. The scholarships are tax-free. Application deadline September 18, 2025. Start between January and April 2026 (exact start date according to agreement). Formal
-
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
-
] Subject Areas: Engineering / Materials Science , Mechanical Engineering Appl Deadline: 2025/07/11 11:59PM (posted 2025/06/12, listed until 2025/12/12) Position Description: Apply Position Description
-
Carolina 27708, United States of America Subject Area: Biomedical Engineering / genome engineering technologies Appl Deadline: (posted 2025/04/22, listed until 2025/06/30) Position Description: Apply
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by