Verification and Debugging Expert for Numerical Programs
2 weeks ago
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.
-
Researcher in Numerical Program Analysis
2 weeks ago
Uppsala, Uppsala, Sweden Uppsala universitet Full timeAbout 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 timeUppsala 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:...
-
Automated Program Verification Specialist
2 weeks ago
Uppsala, Uppsala, Sweden Uppsala universitet Full timeRequired 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...
-
Verification and Validation Specialist
5 days ago
Uppsala, Uppsala, Sweden Rarity Bioscience Full timeWelcome 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...
-
Software Verification Expert
5 days ago
Uppsala, Uppsala, Sweden Cytiva Sverige AB Full timeKarriä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...
-
Verification and Validation Expert
3 days ago
Uppsala, Uppsala, Sweden Cytiva Full timeSkickliga 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.
-
PhD Position in Automated Verification
2 weeks ago
Uppsala, Uppsala, Sweden Uppsala universitet Full timeCompany 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,...
-
Automation Design Expert
2 days ago
Uppsala, Uppsala, Sweden Danaher Full timeAt 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...
-
Video Enhancement Expert
2 weeks ago
Uppsala, Uppsala, Sweden Imint Vidhance Full timeAbout 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...
-
Process Optimization Expert
22 hours ago
Uppsala, Uppsala, Sweden Danaher Full timePursue 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...
-
Custom Engineering Expert
2 days ago
Uppsala, Uppsala, Sweden Cytiva Sweden AB Full timeRole 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...
-
Software Engineering Lead
7 days ago
Uppsala, Uppsala, Sweden IAR Full timeAt 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 timeWe 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...
-
Regulatory Compliance Manager
5 days ago
Uppsala, Uppsala, Sweden Rarity Bioscience Full timeWe 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...
-
Customer Expert for Search Engines in Athens
7 days ago
Uppsala, Uppsala, Sweden TN Sweden Full timeWe 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 timeWe 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 timeDo 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...
-
Real-Time Rendering Expert
2 weeks ago
Uppsala, Uppsala, Sweden Nexile AB Full timeRequirements5+ 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 timeAre 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...
-
Commissioning Expert
2 days ago
Uppsala, Uppsala, Sweden Galderma Full timeAs 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,...