Page 1 of 1
Search Report & InsightsReal-time
Your commute settings are active, but since Skåne is outside your commuting range, we are showing all 2 open positions matching skills "Formal Methods" in the region, sorted by compatibility score (best commute and salary first). All of these listings are active and open for applications.
Tip: Want to monitor this search? to create a free job monitor and get email alerts! 🔔
The most recent job was posted by LULEÅ TEKNISKA UNIVERSITET for the role of Associate Senior Lecturer in Cyber-Physical Systems.
🛡️ 25% soliditet
Luleå•Heltid•Posted: Jun 24•Deadline: Jul 16
Associate Senior LecturerCyber-Physical SystemsDistributed SystemsIndustrial AutomationFormal MethodsAcademic Research
Do you want to develop your research and teaching in an environment where collaboration with industry and society is a natural part of the work? With us, you will collaborate with dedicated colleagues, have access to mod...Show more
🛡️ 42% soliditet
Göteborg•Heltid•Posted: Jun 18•Deadline: Aug 17
PostdocProgramming LanguagesFunctional ProgrammingFormal MethodsSoftware VerificationAcademic Research
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal methods, provides the ide...Show more
Commute
Commute Limit45 min
🚀 15 min🇸🇪 45 min avg🚌 90 min
Commute Map (Skåne)
Optimal (< 25 min)
Standard (25-50 min)
Long commute (> 50 min)
Outside limit (> 45 min)