Permanent position as Senior lecturer in Logic of Programs in University of Gothenburg, Sweden
Deadline for application: 7 Aug 2012 Topics of interest include: - program verification, - dependent type theory, - dependently typed functional programming, - lambda calculus, - semantics of programming languages, - implementation of proof assistants, - applications of proof theory and category theory in programming. The Department of Computer Science and Engineering is joint between Chalmers and the University of Gothenburg and offers BSc- and MSc- and PhD-level education in a broad range of subjects: Algorithms, Computer Security, Dependable Computer Systems, Distributed Systems, Formal Methods, Integrated Electronic System Design, Language Technology, Logic, Networks and Software Engineering. The CSE education includes almost 150 courses offered to around 20 different programmes at two universities. More information at http://goo.gl/ne7wY ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
