Projects & Job Opportunities

Projects

One of the main activities of ICI is to take part in major research projects. Currently there is research activity going on in variety of fields. The faculty and research assistants are specialized in developing software that particularly need formal methods of proof. Finite State Machines (FSM) are usually favored as design tools where applicable. Implementation of FSM in C or Java are well studied. Thread implementations are popular homework practices at ICI. We are seeking projects that may involve advanced practices such as

• Formal methods for high-level design
• Sophisticated programming tools
• Real-time software
• Fault tolerance in distributed systems
• Development of specific communication software
• Unix programming.

Job Opportunities

The institute will hire academicians with salaries in compliance with the Turkish University Law. Turkish citizenship is required.