Competition for talented FI students - April 2023

The Association of Industrial Partners of the Faculty of Informatics of Masaryk University (SPP FI MU) in cooperation with Y Soft, Monet+ (AHEAD iTec), Red HatCzech, Umíme to, NXP Semiconductors, Progress Software, Lexical Computing and Konica Minolta Competition for talented FI 2023 students.

The competition is open to students in the 2nd and 3rd semesters of undergraduate studies. The competition will include 9 computer science problems with 24 hours to solve. The final part of the competition will be interviews with representatives of FI labs and partner companies, where finalists can win 11 student researcher positions with scholarships.

Stipends will range from 4-8k per month, depending on the intensity of involvement in the lab. A specific supervisor for each position will be identified from the lab's staff or Ph.D. students.

Competition process:

• Monday, April 3, 9:33 a.m. - Tasks 1-4 download ed and additional information and questions answered on Zoom videoconference.
• Tuesday, April 4, 9:33 a.m. - second set of problems to download (can be solved independently of the previous problems).
• Thursday, April 6, 9:00-11:00 a.m. in B517 - personal interviews will be conducted with the finalists of the competition and specific students will be selected for labs

Embedded Systems Lab (EmLab) is looking for a student to conduct research in robotics. The student will be involved in the design and development of a smart robot that consists of servo motors, controllers, cameras, and sensors. The research and development also includes the design of the robot and its extension using 3D printing. The ability to program in C/C++, knowledge of basic electrical engineering, analytical reasoning and willingness to learn are prerequisites. Knowledge of C# programming is then an advantage. We offer the possibility of long-term cooperation in the field of embedded systems with the possibility of working on a thesis. In case of mutual interest, it is possible to further cooperate with Y Soft.
Starting immediately or by agreement.
Sponsor: Y Soft

Centre for Research on Cryptography and Security (CRoCS) is looking for 1 student to analyse the possibilities of using the Lighting network - the second layer above the Bitcoin base layer - for financial and non-financial operations. The Bitcoin Lighting network enables defacto instant transactions with no limit on the number of transactions per block. The focus will be on open-source projects and interesting usage scenarios including user authentication, collaborative sharing of funds, and partially offline operation. The first step will be an analysis of the capabilities of the LNbits tool (https://lnbits.com), including its available extensions such as LNURL and LNAUTH. We expect enthusiasm for applied security and an interest in programming in common programming languages (e.g. C, Java, Python, but it is not necessary to be an advanced programmer). We are interested in a longer-term collaboration that may naturally transition into a bachelor thesis solution or internship at AHEAD iTec.
The position starts immediately or by agreement.
Sponsor: AHEAD iTec (Monet+)

Centre for Research on Cryptography and Security (CRoCS) is looking for 1 student for research and development in the area of Trusted Computing providing trusted state discovery of remote computers (running programs, their configuration) using a hardware component on the motherboard (e.g. TPM, SGX or TrustZone technology). The first step will be to explore the capabilities of the keylime tool (https://keylime.dev/) for cloud-based trusted computing, including its practical installation and identifying current limitations. The activity will be carried out as a team effort in collaboration with members of the lab. We expect enthusiasm for applied security and an interest in programming in common programming languages (e.g. C, Java, Python, but it is not necessary to be an advanced programmer). We are interested in a longer-term collaboration that may naturally transition to a bachelor thesis solution.
Term: start date by appointment.
Sponsor: Red Hat Czech

Adaptive Learning (AL) Lab is looking for 1 student to conduct research in the area of machine learning data analysis. The research will be conducted in collaboration with a partner that operates learning systems used in primary and secondary schools (https://www.umimeto.org/). For example, the research will aim to analyse assignments and submitted solutions to programming problems (block programming, introductory Python) to facilitate revision of assignments and provide automated feedback to solvers. Development in Python and longer-term collaboration on other problems is expected.
The position starts immediately or by appointment.
Sponsor: Umíme To

Embedded Systems Lab (EmLab) is looking for a student to develop software for NXP microcontrollers. The student will be involved in collaborating in one of the following areas: image processing, computer vision, Ethernet, functional safety, or system test development. Knowledge of the C programming language and a willingness to learn and be educated in embedded systems is a prerequisite. We offer the possibility of long-term cooperation with NXP.
Starting immediately or by agreement.
Sponsor: NXP Semiconductors

The Formal Methods, Logic and Algorithms Laboratory (Formela) is looking for 1 student to join the Statica team for research and development in the area of automatic program analysis. The student will contribute to the development of Symbiotic, an internationally successful tool that decides whether specified C programs satisfy specified properties (e.g., absence of memory leaks or undefined behavior). The ability to understand more complex algorithms and the desire to program in C++ is a prerequisite. We offer a pleasant environment, a friendly community and the possibility of long-term collaboration, which may naturally evolve into solving a bachelor's, master's and eventually even a dissertation.
Term: start date by appointment.
Sponsor: Red Hat Czech

Cyber Security Laboratory (CYBERSEC) is looking for a student to conduct research and development in the field of computer network security. You will gain practical experience in designing methods for anomaly detection based on network data analysis. As part of your work, you will participate in extending the Flowmon ADS tool with new detection methods. A willingness to learn new things is a prerequisite. Basic knowledge of computer networks and Python programming is an advantage. We offer the possibility of long-term collaboration that can lead to a successful bachelor or master thesis and involvement in interesting projects.
Term: start immediately or by agreement.
Sponsor: Progress Software

Natural Language Processing Centre (NLP Centre) is looking for 2 students to develop a system for searching large text files in collaboration with Lexical Computing. Designed to statistically process 100+ languages, this system offers text data totaling over 100,000,000 words. It has become the industry standard for universities, institutions and individuals worldwide. The job will involve preparation of large-scale data and development of related software tools. Development is mostly done in Python. We are interested in a long-term collaboration that may naturally evolve into a bachelor or master thesis solution.
Deadline: start immediately, no later than autumn 2023.
Sponsor: Lexical Computing

The Natural Language Processing Centre (NLP Centre), in collaboration with Lexical Computing, is looking for a student to work on distributed big data processing. The work will involve automating data and software distribution. A minimum of Linux user proficiency and an interest in delving into advanced management and coordination of dozens of computers is a prerequisite. We are interested in a long-term collaboration that may naturally evolve into a bachelor or master thesis solution.
Deadline: start immediately, no later than Fall 2023.
Sponsor: Lexical Computing

The Natural Language Processing Centre (NLP Centre) is looking for a student to conduct research and development in the area of document similarity. Documents can be of different types, in different formats, of different origins (scans or born-digital), and thus can have similarity defined in different ways: semantically, visually, structurally. The aim of the project is to learn about the state-of-the-art in document similarity, the available datasets and evaluation methods. Further research will be related to the implementation of specific methods, finding their limitations and the best way to evaluate them. We offer team involvement and support in the areas of document processing, machine learning and research work. We expect a willingness to learn new things in machine learning and text processing and an interest in Python programming. We are interested in a longer-term collaboration that may evolve into an undergraduate thesis or internship at Konica Minolta.
Term: start immediately or by appointment.
Sponsor: Lexical Computing