Det var kanskje tilfeldig at Sarek begynte p? Informatikk: programmering og systemarkitektur. Da f?rstegangstjenesten n?rmet det seg slutten, m?tte han s?ke studieplass.
– Jeg tenkte at datamaskiner er jo kult, og jeg kunne kanskje ha trivdes godt med det. Jeg kom s? vidt inn p? Informatikk: programmering og systemarkitektur, jeg var faktisk en av de siste som kom inn, innr?mmer han.
Sarek H?verstad Skot?m startet som vanlig og tok 30 studiepoeng f?rste semester, men p? det meste tok han hele 80 studiepoeng i l?pet av et semester. Etter ? ha blitt inspirert av noen i faddergruppa inns? han nemlig at det gikk an ? snu litt p? rekkef?lgen p? emnene og ta flere enn normert.
– Jeg kom til et punkt f?rste semester hvor jeg hadde l?rt alt jeg skulle, selv om det fortsatt var over en m?ned igjen til eksamen. Da bestemte jeg meg for ? ta ekstra emner det neste semesteret. Hvis de p? faddergruppa mi klarer det, klarer jeg det ogs?.
– Jeg m?tte jo f? tatt alle de kule emnene som det er mulig ? ta p? bachelor!
Skrev master i utlandet
P? masteren fokuserte Sarek p? ? f? maks ut av han fagene han tok. Han gjorde unna alle emnene i l?pet av det f?rste ?ret, for ? kunne reise mens han skrev masteroppgaven sin.
– Jeg trengte ikke ? v?re i Oslo siden jeg ikke hadde fag jeg skulle ta.
– Jeg tenkte at etter studietiden, er det ikke sikkert jeg har samme muligheten til ? reise. Jeg hadde heller ingen store forpliktelser i Norge, s? da var det bare ? reise.
Reiseruten startet i Danmark, f?r han dro videre til Tyskland og Sveits. Da det begynte ? bli kaldt i Europa dro han til Thailand, f?r han dro hjem til jul. Etter en liten reisepause i Oslo, dro han p? en Vest-Europa-tour, blant annet p? en forskningskonferanse i München.
Vant pris for beste masteroppgave i 2022
Administrerende direkt?r ved Norsk Regnesentral, Lars Holden, delte ut prisen til Sarek H?verstad Skot?m. Foto: Maja Testad, UiO.
Sarek vant NRs masterpris med oppgaven "CreuSAT. Using Rust and Creusot to create the world’s fastest deductively verified SAT solver." I 2022 ble prisen delt mellom informatikk og matematikk.
Om NRs masterpris.
Headhuntet p? konferanse
Hvis du har noen faglige interesser, som g?r utover det du kan finne p? IFI, s? m? du se om de finnes et eller annet sted. Mest sannsynligvis gj?r de jo det.
– Jeg har jo f?tt jobb i en relativt nisje-ting, s? hvis man er interessert i en nisje, s? m? man finne de ?nerdene? som er interessert i den nisjen, overbeviser Sarek.
Sarek fant mange av de i chat- og 澳门葡京手机版app下载skanalen Zulip. N?rmere bestemt i Rust ZulipRust Zulip er en Zulip for alle som er interessert i programmeringsspr?ket Rust. I den finnes det en hel haug med kanaler, v?re det kanalen for nye medlemmer, til arbeidsgrupper for de som jobber med ? utvikle spr?ket, til kanalen for de som er interessert i formelle metoder. Der var det noen som anbefalte RustVerify-konferansen i München. Det ble en d?r?pner for Sarek.
– Jeg spurte om ? holde lyntale om masteren min. Etter lyntalen kom en fra Amazon bort og lurte p? om jeg kunne tenke meg ? s?ke internship hos dem, avsl?rer Sarek.
Det endte med tilbud om fast jobb som anvendt forsker hos Amazon Web Services (AWS), verdens st?rste leverand?r av skytjenester.
澳门葡京手机版app下载sdrevet forretningsutvikling
Kontoret ligger i London. I rollen som anvendt forsker jobber spesialister som har ekspertise innen et vitenskapelig fagomr?de med ? anvende innovasjon med utspring fra forskning til ? l?se faktiske problemer. Sarek skal holde seg oppdatert p? bleeding edge teknologi, alts? avansert, banebrytende teknologi som er s? ny at den verken er utpr?vd eller gjort tilgjengelig. En viktig oppgave blir derfor ? jobbe tett mot akademia for ? pr?ve ut forskningsbasert teknologi, slik at Amazon kan ligge helt i forkant n?r de skal l?se fremtidens forretningsutfordringer.
– Jeg har lyst til at det jeg gj?r har impact, om man kan kalle det det.
– Jeg er en enkel mann som ser interessante problemer og m?let er ? gj?re kule ting med flinke folk, og gj?re noe nyttig. Per 2022, s? er de sterkeste faglige milj?ene for disse type tingene i USA og rundt om i Europa, deriblant London, og ikke i Oslo, hevder Sarek.
Sarek H?verstad Skot?m
Stilling: Applied Scientist
Arbeidsgiver: Amazon Web Services (AWS)
Bosted: London
Fagrelevant erfaring gjennom studietiden:
- Gruppel?rer i IN1020, IN1150, IN2040 og IN3000
- Styremedlem og leder i UiOs beste studentforening, MAPS (Matematikk, Algoritmer og Programmering for Studenter)
- Sommerjobb som konsulent hos Systek
Utdanning og aktuelle studieprogram:
Dette intervjuet ble f?rst publisert p? IFI-bloggen.