A Kind Community
We have no open Postdoc or PhD student positions at this time.
As the KindSoftware group is at the Technical University of Denmark (DTU), students interested in obtaining a PhD position with Dr. Kiniry can apply for a PhD fellowship at DTU. The most recent application deadline was in Spring 2013 for an Autumn 2014 start.
We also regularly have a number of potential internal Summer internship positions available. See our project proposals page for more information.
We are also happy to host Erasmus undergraduate and externally funded postgraduate students from other universities for internship positions at nearly any time during the year so long as the focus of the work complements the current activities of our group.
We do not post commercial job offerings for KindSoftware positions but once in a blue moon, but we are always interested in looking at new people who have something special to contribute. Our contacts in industry and academia are extensive and we love to help good people do what they enjoy for a living. So, even if no positions are listed below, do not be afraid to drop us a note with your resume and interests and we will get back to you and put you on file for future reference.
Companies who have openings relating to formal methods are welcome to send us job listings and we will circulate them within the community. Whether you create great software, VLSI, or perform research, if you use or create formal methods then we are always interested in hearing from you.
We also provide consulting services in applied formal methods. We have extensive experience in the domain and have excellent references. Please contact Joe Kiniry for more information.
Finding like-minded individuals in a field as marginal as applied formal methods is sometimes a difficult task. If you have a project proposal, are working on some new Open Source library, or need an academic collaborator with specific formal methods expertise, please drop us a line and we'll post your information in this space. We want to help people come together and, through the catalyst of KindSoftware, spread the word of applied formal methods.