KindSoftware is led by Joseph Kiniry. Joe is an Associate Professor of Computer Science and a member of the Software Development and Programming, Logic, and Semantics groups at the IT University of Copenhagen.

A Kind Community

Jobs

Research Positions

We will have several new postdoc and PhD positions open for a start date of Summer/Autumn 2011. The focus of this research is on trustworthy democratic technology via the DemTech project, which we co-lead. Subscribe to our RSS feed to be notified when these positions are officially announced.

As the KindSoftware group is at the IT University of Copenhagen (ITU), students interested in obtaining a PhD position with Dr. Kiniry must apply for a research position at ITU. The next application deadline is in mid-April for an Autumn 2011 start.

Internship Positions

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.

Commercial Positions

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.

Contract Work

Companies who have openings relating to formal methods are welcome to send us job listings and we'll post them in this space. Whether you create great software, high speed 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.

Collaboration Opportunities

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.