[TYPES/announce] assistant/associate professor in formal methods and programming, at University of Twente, Netherlands

and teaching statement) * A cover letter in which you describe your motivation and qualifications for the position. You are welcome to contact prof.dr. M. Huisman via m.huis...@utwente.nl<mailto:m.huis...@utwente.nl>, for any questions you might have. About the organization The f

[TYPES/announce] PhD position on Embedded Systems Verification at University of Twente, Netherlands

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a PhD candidate for a 4-year project on Formal Methods for Embedded Systems, as part of SAVES (ScAlable Verification of industrial Embedded control Systems), a