Verification and Debugging Expert for Numerical Programs

2 weeks ago


Uppsala, Uppsala, Sweden Uppsala universitet Full time

Job Description

The successful candidate will be part of the Division of Computing Science and specifically within the Programming Languages group. They will work on developing new techniques and approaches for automated program verification, specification inference, fault localization, and practical usability in the context of numerical finite-precision programs.

The project will involve both theoretical and practical work, with the goal of developing techniques that can be practically used. The PhD student will also contribute to teaching at the Department, including some administration, to at most 20% of their time.



  • Uppsala, Uppsala, Sweden Uppsala universitet Full time

    About the JobWe are seeking a highly motivated researcher to join our team as a PhD student in Computing Science focusing on Practically Usable Verification for Numerical Programs. This project, funded by the ERC Starting grant HORNET, aims to develop practically usable automated verification and debugging techniques for numerical programs.Numerical programs...


  • Uppsala, Uppsala, Sweden Uppsala universitet Full time

    Uppsala University, Department of Information TechnologyOrganisation/Company: Uppsala universitet Department Uppsala University, Department of Information TechnologyResearch Field: Computer science Engineering Mathematics TechnologyResearcher Profile: First Stage Researcher (R1)Country: SwedenApplication Deadline: 22 Apr 2025 - 21:59 (UTC)Type of Contract:...


  • Uppsala, Uppsala, Sweden Uppsala universitet Full time

    Required Skills and QualificationsTo be eligible for this position, you must hold a Master's degree in computer science or a related field, or have completed at least 240 credits in higher education, with at least 60 credits at Master's level including an independent project worth at least 15 credits.We are looking for candidates with a strong mathematical...


  • Uppsala, Uppsala, Sweden Rarity Bioscience Full time

    Welcome to Rarity Bioscience, a dynamic company pioneering innovative liquid biopsy technology.Job DescriptionYou will lead verification studies and analytical performance evaluations for our research-use and diagnostic products.Collaborate with our team to design and refine protocols for verification and validation studies.Evaluate performance studies and...


  • Uppsala, Uppsala, Sweden Cytiva Sverige AB Full time

    KarriärmöjligheterPå Cytiva Sverige AB finns det stora möjligheter för dig att utvecklas i din roll som Senior Software Verification Engineer. Hos oss arbetar du i ett tvärfunktionellt team med kollegor från olika discipliner, och har möjlighet att ta ansvar för komplexa projekt. Som Senior Software Verification Engineer på Cytiva Sverige AB är du...


  • Uppsala, Uppsala, Sweden Cytiva Full time

    Skickliga teammedlemmar vill ha dig När det gäller ämnet software verification finns ingen mer duktig grupp än vår. Användbara kunskaper Automatiserad enhetstestning.TDD (Test Driven Design) och BDD (Behavior Driven Design). Din roll Verifiera programvara och identifiera eventuella fel.Verifiera funktionalitet i olika applikationer.


  • Uppsala, Uppsala, Sweden Uppsala universitet Full time

    Company OverviewThe Department of Information Technology at Uppsala University is a leading institution in research and education. Our department holds a strong position in both research and education at all levels, with approximately 350 employees, including 120 teachers and 120 PhD students.We are currently Uppsala University's third largest department,...


  • Uppsala, Uppsala, Sweden Danaher Full time

    At Danaher, we're at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.We're looking for a highly motivated Senior Automation Engineer to join our Custom...


  • Uppsala, Uppsala, Sweden Imint Vidhance Full time

    About UsVidhance is a leading provider of cutting-edge video enhancement software for the mobile industry. Our solutions are integrated into millions of devices worldwide, working closely with top smartphone manufacturers and chipset vendors to deliver exceptional video quality to end users. We're on a journey to empower our teams and focus on customer...


  • Uppsala, Uppsala, Sweden Danaher Full time

    Pursue a challenging career in bioprocessing with Cytiva, a leading provider of innovative solutions for life sciences. Our team of experts is dedicated to delivering cutting-edge technologies that transform human health.About the PositionWe're seeking a skilled System Engineer to join our R&D department in Uppsala. As a key member of our cross-functional...


  • Uppsala, Uppsala, Sweden Cytiva Sweden AB Full time

    Role Overview">Cytiva Sweden AB is seeking a highly skilled Senior Automation Engineer to join our Custom Engineering team. As a member of this team, you will be responsible for designing and implementing automated systems for our bioprocess equipment.">Your primary responsibility will be to work closely with cross-functional project teams to transform...


  • Uppsala, Uppsala, Sweden IAR Full time

    At IAR, our mission is to create a world-class engineering organization that delivers exceptional results.We are looking for an experienced Software Engineering Lead who can drive the organization's goals by empowering and engaging with technical experts in their team. As a key member of our Engineering Management Team, you will support the success of a...


  • Uppsala, Uppsala, Sweden TN Sweden Full time

    We are seeking a skilled individual to join our team in Athens, Greece as a Customer Expert for Search Engines.About the JobThis role involves consulting entrepreneurs and businesses to enhance their reputation and provide insights into how customers search for them.You will also assist businesses in improving their online presence across the world's most...


  • Uppsala, Uppsala, Sweden Rarity Bioscience Full time

    We are seeking a skilled Regulatory Compliance Manager to join our team at Rarity Bioscience.Job SummaryThis role involves leading verification studies and analytical performance evaluations for our research-use and diagnostic products.Design and refine protocols for verification and validation studies.Evaluate performance studies and reports, collaborating...


  • Uppsala, Uppsala, Sweden TN Sweden Full time

    We are excited to offer a unique opportunity for a Digital Solutions Consultant to join our team in Athens, Greece.About the RoleThis position involves providing digital solutions to clients using Google tools and promoting related products to existing customers.You will also have the chance to investigate issues deeper before defining solutions, or escalate...


  • Uppsala, Uppsala, Sweden TN Sweden Full time

    We are seeking highly skilled Finnish-speaking customer service professionals to join our team in Athens, Greece. As a member of our Search Engine Customer Experts team, you will be responsible for providing expert assistance to businesses and entrepreneurs to enhance their reputation and online presence.Key RequirementsSuperior Finnish language skills and...


  • Uppsala, Uppsala, Sweden TN Sweden Full time

    Do you want to take your customer service skills to the next level? We are looking for talented Finnish-speaking professionals to join our Search Engine Customer Experts team in Athens, Greece.About the RoleYou will work closely with our team to provide expert assistance to businesses and entrepreneurs.You will investigate issues and define solutions or...


  • Uppsala, Uppsala, Sweden Nexile AB Full time

    Requirements5+ years of experience as a Technical Artist in the game industry.Strong expertise in GPU performance profiling and optimization.Deep understanding of real-time rendering pipelines and shading techniques.Proficiency in HLSL, GLSL, or ShaderLab for shader debugging and optimization.


  • Uppsala, Uppsala, Sweden TN Sweden Full time

    Are you tech-savvy and passionate about everything online? Do you have excellent Finnish and English language skills? We are looking for talented individuals to join our Search Engine Customer Experts team in Athens, Greece.About the RoleYou will work closely with our team to provide expert assistance to businesses and entrepreneurs.You will investigate...


  • Uppsala, Uppsala, Sweden Galderma Full time

    As a Qualification Professional at Galderma, you will be responsible for executing and reviewing requalification activities as they relate to the assigned applicable area of responsibility. You will also create and execute plans, protocols, test scripts, and reports as they relate to Verification and Qualification of assigned new and modified Facility,...