Are you interested in AI, in particular, reinforcement learing? We are looking for an enthusiastic and motivated student to join us as a Ph.D., student in the Data Science and AI (DSAI) division at Chalmers to explore exciting new directions with hierarchical reinforcement learning! About us The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links and diverse environment create a collaborative setting where ideas grow into real impact. At the https://www.chalmers.se/en/departments/cse/our-research/data-science-and-ai/, we develop data-driven methods and AI solutions that support intelligent decisions across society, advancing machine learning techniques, from foundations to industrial and scientific applications. There has been a long standing and world leading research programme in formalizing mathematics at the department, funder by ERC advanced grants and Wallenberg projects. A new initiative is to bring in AI techniques into automating theorem provers and proof assistants for the exciting new area of "AI for math". A new research group has crystallized that brings together expertise from several areas besides AI, including formal methods, theorem proving, NLP and cognitive science. The group has a network of very strong international collaborators that the student will become a part of - we will be organizing a seminar on the theme at a https://www.mittag-leffler.se/activities/ai-for-mathematics/ About the research project The project is about build on recent advances in heierarchical reinforcement learning (HRL) and to explore its use in AI for Math. Can HRL techniques be used to automate proofs and generate interesting conjectures and lemmas in an interactive theorem prover? Human mathematicians typically decompose a big proof into smaller lemmas. HRL is a natural technique to create an automated system to decompose proofs into smaller components. For exciting developments in the area of "AI for Math", see the https://terrytao.wordpress.com/2026/03/29/mathematical-methods-and-human-thought-in-the-age-of-ai/ one of the world's top mathematicians. The project is funded by https://wasp-sweden.org/, Sweden's national AI initiative and will be carried out in a strong research environment in this area, in collaboration with ERC advanced grant projects (of faculty in the division). Who we are looking for The following requirements are mandatory: To qualify as a Doctoral student, you must have a Master's degree in Computer Science, Mathematics or related fields. For students with an education earned outside of Sweden, a 4-year Bachelor's degree is acceptable. Strong written and verbal communication skills in English You should have strong background in theoretical computer science, foundational AI/machine learning or mathematics and have strong coding skills in python (or C, C++, Java etc). You should have a strong background in modern machine learning - you should have taken good courses in basic ML and in particular have the rudiments of reinforcement learning. The following experience will strengthen your application: Experience with logic, a theorem prover or interactive proof assistant is a bonus What you will do Conduct research and aim for publications in top venues in modern AI (such as NeurIPS, ICML, AAAI etc).Take courses at an advanced level within the https://wasp-sweden.org/graduate-school/ Develop your own scientific concepts and communicate the results of your research verbally and in writing The position generally also includes teaching on Chalmers' undergraduate level or performing other duties corresponding to 20 percent of working hours Contract terms The Doctoral student positions are fully funded from start. The position is a fixed-term appointment of four years, with the possibility to teach up to 20%, which extends the position up to five years. A starting salary of 35,725 SEK per month (valid from May 1, 2026). Doctoral studies require physical presence throughout the entire study period. A valid residence permit must be presented by the study start date; otherwise the admission may be withdrawn. What we offer To read more about what we offer, go to https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14598&rmlang=UK Application procedure The application should be written in English and attached as PDF-files, as below. Maximum size for each file is 40 MB. Please note that the system does not support Zip files. CV Personal letter A brief introduction about yourself. A brief motivation as to why you are interested in this position. Bachelor's and, if available, master's thesis together with the transcripts. Use the button at the foot of the page to reach the application form. Please note: The applicant is responsible for ensuring that the application is complete. Incomplete applications and applications sent by email will not be considered. Contact details to references will be requested after the interview. We welcome your application no later than June 18, 2026. For questions, please contact: Devdatt Dubhashi Professor [email protected] We look forward to your application! Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position.

Great Security är ett av Sveriges största privatägda säkerhetsföretag. Verksamheten bedrivs över hela landet både lokalt och nationellt, dessutom hanterar vi en del kunder i de övriga nordiska länderna. Vi är 450 medarbetare och finns etablerade med 36 kontor varav 30 har tillhörande butiker. Great Security är en del av Garda Sikring group med mer än 3000 anställda i Sverige, Norge, Danmark, Finland och Tyskland. Vi är inne i en spännande tillväxtresa och behöver stärka upp med ytterligare kompetenta medarbetare Konstruktör Säkerhetssystem Placeringsort: Mariestad, Karlstad eller Stockholm (Sickla eller Kista), Arbetsuppgifter: Som konstruktör hos oss blir du en nyckelspelare i arbetet med att konstruera, projektera och dokumentera säkerhetstekniska system, så som inbrottslarm, kameraövervakning, passersystem, brandlarm och lås. Det innebär framtagning av installationsritningar, scheman och relationshandlingar bland annat och du kommer att samarbeta med kollegor i vår rikstäckande konstruktionsavdelning. Du utgår från någon av orterna som nämns under rubriken ovan men kommer att behöva resa till kunder i södra Sverige ibland Din bakgrund/Kvalifikationer: Du kan lätt påvisa att du uppnått mycket bra resultat som Konstruktör/Projektör av säkerhetssystem från tidigare arbeten. Du behärskar digitala verktyg som exempelvis AutoCad, Bluebeam, Elkoda, Excel och Word. Kunskaper om entreprenadjuridik och diverse regelverk behöver du också ha, t.ex. SSF 130, SBF 11. Vi utgår ifrån att du har körkort, är svensk medborgare samt behärskar det svenska språket väl i tal och skrift. Varför Great Security? Här får du en ansvarsfylld roll i en organisation med entreprenörsanda, högt tempo och korta beslutsvägar. Brinner du för säkerhetsteknik och möjligheten att påverka både våra projekt och Great Securitys framtid så kan detta bli den mest spännande och utmanande tjänsten hittills i din karriär. Intresserad? Du är varmt välkommen med din ansökan via vår rekryteringskonsult Exelect AB. Ansökningar behandlas löpande så skicka gärna in din ansökan så fort som möjligt. Kontaktperson hos Exelect är Anders Hanberg, 070-413 99 03.

Vi söker en förare med CE, YKB, ADR TANK för körningar av tankcontainers. Mestadels Sverige men även Norge. Egen bil med alla bekvämligheter, övernattning kan förekomma. Utgår från Göteborg med omnejd! För rätt förare erbjuds goda förutsättningar och möjligheter. SÖKER ENDAST ANSÖKANDEN MED ADR+ ADR TANK!

Job Title: Software Engineer Experience Range: 8 to 12 Years Location: Stockholm, Sweden Role Overview The Software Engineer is responsible for designing, implementing, and testing software components for the Tachograph system. Engineers should have development skills in CAN, Diagnostics, language embedded C. This role ensures compliance with safety-critical standards, coding guidelines, and project requirements while contributing to high-quality, maintainable software. Key Responsibilities 1. Design & Implementation Translate software requirements into detailed design and code. Implement new features and enhancements on the commonized code base in Embedded C on FreeRTOS. Follow specified coding guidelines, best practices, and MISRA compliance for safety-critical software. Maintain clean, modular, and reusable code adhering to industry standards. 2. Static Code Analysis Perform static code analysis. Address all code quality issues and ensure compliance with coding standards. 3. Unit Testing & Coverage Develop and execute unit test cases for individual software components. Generate and review MC/DC coverage reports to ensure completeness. Automate unit tests where possible. 4. Integration Support Collaborate with Integration Test Engineers to ensure smooth module integration. Resolve defects identified during integration and qualification testing. 5. Documentation & Traceability Maintain traceability between requirements, design, implementation, and test artifacts. Update design documents and code comments for clarity and maintainability. 6. Collaboration Work closely with Software Architect, System Engineers, and Test Teams. Participate in design reviews and provide feedback for improvements. Required Skills & Qualifications Bachelor of Engineering 8+ years of experience in embedded software development or safety-critical systems. String understanding of Automotive Diagnostics. Strong programming skills in Embedded C. Knowledge of real-time operating systems, embedded systems, and safety-critical standards. Familiarity with static analysis tools, unit testing frameworks, and CI/CD pipelines. Excellent problem-solving, documentation, and communication skills.

Vill du ta nästa steg inom inköp och få en nyckelroll nära både produktion och leverantörer? Som junior inköpsassistent hos vår kund får du arbeta strukturerat. Här får du möjlighet att utvecklas i vardagen och vara en viktig del i att säkerställa smidiga materialflöden. Om tjänsten Som junior inköpsassistent kommer du att lägga och följa upp inköpsorder, bevaka och säkerställa leveranser, hantera avvikelser, uppdatera artikel- och leverantörsdata, stötta inköpare i leverantörskontakter, administrera inköpsdokumentation samt bidra till förbättrade rutiner hos vår kund. Om dig Vi söker dig som har god administrativ förmåga, är noggrann och trivs med att jobba med rutiner. Du bör kunna arbeta både självständigt och ha en god samarbetsförmåga, lösningsfokuserad och initiativtagande. Du behärskar svenska och engelska obehindrat i både tal och skrift, har vana av att arbeta i affärssystem som tex Monitor ERP samt har goda kunskaper i Excel. Formell kompetens Har fullgjord gymnasieutbildning, gärna med inriktning mot ekonomi, teknik eller logistik. Vana att arbeta i affärssystem Goda kunskaper inom Excel Goda kunskaper i både svenska och engelska i både tal och skrift Meriterande Du har erfarenhet av inköp eller orderhantering, gärna från logistik,tillverkningsindustrin eller elektronikindustrin. Förståelse för komponentflöden, leverantörsstyrning och arbete i Monitor ERP ses som en fördel. Det är också positivt om du har dokumenterad vana av att bidra till förbättring av processer, hantera avvikelser lösningsorienterat och samarbetat nära både leverantörer, produktion och inköpare. Som en av oss Som anställd bemanningskonsult hos oss får du alltid en marknadsmässig lön, semester, pensionsavsättning, försäkringar och anslutning till vårt kollektivavtal. Vi vill att du ska må bra hos oss så självklart erbjuder vi våra konsulter friskvårdsbidrag och företagshälsovård. Under din anställning har du en konsultchef som är ansvarig för ditt uppdrag och ser till att du trivs på din arbetsplats och stöttar dig samt utvecklar dig i din yrkesroll. Om Lernia Lernia är ett av Sveriges ledande bemannings- och rekryteringsföretag och finns över hela landet. Med vårt omfattande nätverk erbjuder vi spännande jobb hos attraktiva arbetsgivare och varumärken som hjälper dig att utveckla din kompetens och karriär, både på lång och kort sikt. Hur du söker tjänsten För att söka tjänsten, scrolla ner till ansökningsformuläret nedan. Urval och intervjuer sker löpande, så skicka in din ansökan redan idag! Om du har några frågor är du välkommen att kontakta ansvarig rekryterare XXX Bakgrundskontroll För vissa tjänster ingår bakgrundskontroll som en del av rekryteringsprocessen. Om du går vidare i processen behöver du verifiera din identitet via BankID innan kontrollen genomförs. Öppen för alla Vi fokuserar på din kompetens, inte dina övriga förutsättningar. Vi är öppna för att anpassa rollen eller arbetsplatsen efter dina behov.

Socionom med erfarenhet av barn och unga – konsultuppdrag Vi söker erfarna socionomer för konsultuppdrag inom barn och unga till socialtjänstens myndighetsutövning. Uppdragen kan vara inom utredning, mottagning eller uppföljning och omfattar handläggning enligt SoL samt i vissa fall LVU. Antalet uppdrag är begränsat och vi prioriterar dig med erfarenhet av myndighetsutövning. Hos Ideal Bemanning får du tryggt stöd, tydliga villkor och uppdrag som matchar din kompetens och ditt engagemang. Kvalifikationer Socionomexamen Minst 3 års erfarenhet inom barn och unga på socialtjänst Självständig och trygg i din yrkesroll “Ideal Bemanning upplevs som en närvarande och pålitlig samarbetspartner. Det finns alltid stöd att få och villkoren är tydliga.” – Socionomer inom barn och unga 📩 Urval sker löpande. Skicka CV och kort presentation till [email protected]

Socionom med erfarenhet av barn och unga – konsultuppdrag Vi söker erfarna socionomer för konsultuppdrag inom barn och unga till socialtjänstens myndighetsutövning. Uppdragen kan vara inom utredning, mottagning eller uppföljning och omfattar handläggning enligt SoL samt i vissa fall LVU. Antalet uppdrag är begränsat och vi prioriterar dig med erfarenhet av myndighetsutövning. Hos Ideal Bemanning får du tryggt stöd, tydliga villkor och uppdrag som matchar din kompetens och ditt engagemang. Kvalifikationer Socionomexamen Minst 3 års erfarenhet inom barn och unga på socialtjänst Självständig och trygg i din yrkesroll “Ideal Bemanning upplevs som en närvarande och pålitlig samarbetspartner. Det finns alltid stöd att få och villkoren är tydliga.” – Socionomer inom barn och unga 📩 Urval sker löpande. Skicka CV och kort presentation till [email protected]

Socionom med erfarenhet av barn och unga – konsultuppdrag Vi söker erfarna socionomer för konsultuppdrag inom barn och unga till socialtjänstens myndighetsutövning. Uppdragen kan vara inom utredning, mottagning eller uppföljning och omfattar handläggning enligt SoL samt i vissa fall LVU. Antalet uppdrag är begränsat och vi prioriterar dig med erfarenhet av myndighetsutövning. Hos Ideal Bemanning får du tryggt stöd, tydliga villkor och uppdrag som matchar din kompetens och ditt engagemang. Kvalifikationer Socionomexamen Minst 3 års erfarenhet inom barn och unga på socialtjänst Självständig och trygg i din yrkesroll “Ideal Bemanning upplevs som en närvarande och pålitlig samarbetspartner. Det finns alltid stöd att få och villkoren är tydliga.” – Socionomer inom barn och unga 📩 Urval sker löpande. Skicka CV och kort presentation till [email protected]

Socionom med erfarenhet av barn och unga – konsultuppdrag Vi söker erfarna socionomer för konsultuppdrag inom barn och unga till socialtjänstens myndighetsutövning. Uppdragen kan vara inom utredning, mottagning eller uppföljning och omfattar handläggning enligt SoL samt i vissa fall LVU. Antalet uppdrag är begränsat och vi prioriterar dig med erfarenhet av myndighetsutövning. Hos Ideal Bemanning får du tryggt stöd, tydliga villkor och uppdrag som matchar din kompetens och ditt engagemang. Kvalifikationer Socionomexamen Minst 3 års erfarenhet inom barn och unga på socialtjänst Självständig och trygg i din yrkesroll “Ideal Bemanning upplevs som en närvarande och pålitlig samarbetspartner. Det finns alltid stöd att få och villkoren är tydliga.” – Socionomer inom barn och unga 📩 Urval sker löpande. Skicka CV och kort presentation till [email protected]

Socionom med erfarenhet av barn och unga – konsultuppdrag Vi söker erfarna socionomer för konsultuppdrag inom barn och unga till socialtjänstens myndighetsutövning. Uppdragen kan vara inom utredning, mottagning eller uppföljning och omfattar handläggning enligt SoL samt i vissa fall LVU. Antalet uppdrag är begränsat och vi prioriterar dig med erfarenhet av myndighetsutövning. Hos Ideal Bemanning får du tryggt stöd, tydliga villkor och uppdrag som matchar din kompetens och ditt engagemang. Kvalifikationer Socionomexamen Minst 3 års erfarenhet inom barn och unga på socialtjänst Självständig och trygg i din yrkesroll “Ideal Bemanning upplevs som en närvarande och pålitlig samarbetspartner. Det finns alltid stöd att få och villkoren är tydliga.” – Socionomer inom barn och unga 📩 Urval sker löpande. Skicka CV och kort presentation till [email protected]