De onderwijsvacaturebank met vacatures basisonderwijs, vacatures voortgezet onderwijs, vacatures primair onderwijs en vacatures in het mbo, hbo en wo. Suggestie? Vertel het de redactie.

donderdag 4 oktober 2018

Vacature PhD position on the Mercedes project on Maximal Reliability of Concurrent and Distributed Software

PhD position on the Mercedes project on Maximal Reliability of Concurrent and Distributed Software
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. Formal methods are mathematical techniques for the construction and analysis of software systems. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment. The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the research institute CTIT. We are looking for an excellent candidate for a PhD project on automated verification of concurrent software. The PhD position (for 4 years) is part of the Mercedes project on Maximal Reliability of Concurrent and Distributed Software. University of Twente Group: Formal Methods and Tools Contact: Prof.dr....
Lees verder

Postdoc position on the Mercedes project on Maximal Reliability of Concurrent and Distributed Software
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. Formal methods are mathematical techniques for the construction and analysis of software systems. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment.  The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the research institute CTIT. We are looking for an excellent Post Doc candidate for a project on automated verification of concurrent software. The position is part of the Mercedes project on Maximal Reliability of Concurrent and Distributed Software. The position will initially be for 2 years, with a possibility of extension of up to 2...
Lees verder

Test Engineer
Ben je net klaar met je (HBO) studie en vind je niets leuker dan experimenteren? Dan past de functie van Test Engineer misschien wel bij jou. In deze functie kun je brede ervaring opdoen met het testen van microelektronica. Jouw hoofdtaak in deze functie is het testen van de temperatuur-belastbaarheid van een nieuw soort RF-ID chip die nog niet op de markt is. In experimentele opstellingen koel je prototypes van dit product af of warm je ze op, waarna je test of ze nog werken. De uitdaging bestaat hieruit, met een beperkt aantal metingen vast te stellen tot hoe heet en hoe koud het product kan gaan zonder kapot te gaan. Voor het testen is een state-of-the-art meetlaboratorium beschikbaar. Je wordt aangestuurd door twee ervaren wetenschappers die meedenken over de te volgen aanpak en de analyse van de resultaten. Het project wordt uitgevoerd samen met Nederlandse en Duitse bedrijven die gezamenlijk het nieuwe RF-ID product ontwikkelen. Voor het goede verloop van het project heb je...
Lees verder