Stáž / Studentská práce / Zaměstnání v Sysgu

Brigády, placené nabídky, apod...
Matfyz
Matfyz(ák|ačka) level I
Příspěvky: 22
Registrován: 7. 2. 2008 21:33
Typ studia: Informatika Bc.

Stáž / Studentská práce / Zaměstnání v Sysgu

Příspěvek od Matfyz »

Ahoj,

rád bych nabídnul možnosti
- stáže a mentorování
- studentského projektu, bakalářky, diplomky
- výzkumného projektu
- zaměstnání na 50 až 100 procentní úvazek

ve firmě Sysgo (https://www.sysgo.com/), kde sám programuji. Vyvíjíme realtimový operační systém PikeOS, který je nasazován v safety a security critical prostředí (například v letadlech). K tomu máme oddělení certifikace, které garantuje spolehlivost a bezpečnost vyvíjeného software. Převážně programujeme v C, shellu a jiných skriptovacích jazycích. Sem tam si vyvíjíme také vlastní nástroje pro interní potřebu.

Co se týče studenských nebo výzkumných prací, tak můžeme hledat témata například v oblastech:
- Realtimové operační systémy a determinismus na vícejádrovém systému
- Aplikace metod a nástrojů formální verifikace pro zlepšení kvality/efektivity testování spolehlivého software
- Aplikace metod a nástrojů formální verifikace pro zlepšení resistence software vůči hackování
- Metody a nástroje pro měření worst-case execution time
- Metodologie návrhu a vývoje secure softwaru
- Různorodé studie z oblasti operačních systému (máme reálný projekt, procesy, data... vybrané části je možné pro výzkumné účely nasdílet)
- Z méně výzkumných a více implementačních prací by se nám občasně hodilo ohnout nějaký opensource projekt pro lokální použití (například nástroj pro evidenci a zpracování nahlášených security vulnerabilities (https://www.cvedetails.com/))
- ...

Studentská nebo výzkumná činnost by pravděpodobně byla alespoň z části placená a pravděpodobně bych ji měl ze strany Sysga na starosti já.

Co se týče zaměstnání, tak kromě obecně nízkoúrovňového programátora u nás zapadne:
- tester spolehlivého softwaru (mělo by tě oslovovat testování a ochota nést o něco větší zodpovědnost za bezchybnost softwaru)
- programátor se security expertízou (například hackování)
- programátor se zkušenostmi s vývojem kernelu

Jestli vás něco oslovilo, tak kontakt na mě je:
tomas.martinec@sysgo.com

Tomáš Martinec
Odpovědět

Zpět na „Práce“