formal methods

Chalmers University of Technology in Gothenburg is offering a Postdoc position in functional programming for a duration of two years with the potential for a one-year extension. Candidates should have a doctoral degree and a robust background in functional programming.This research role includes collaboration on advanced programming languages, theorem...

Axis Communications in Lund is seeking a Senior ASIC Verification Engineer to join the ARTPEC SoC verification team. You will work on pre-silicon verification of in-house hardware IPs and subsystems using simulation and formal methods, in an agile, collaborative environment.The role emphasizes growth, learning, and applying advanced verification techniques...

Chalmers Tekniska Högskola Aktiebolag in Gothenburg is looking for two Postdocs in functional programming. You will engage in research initiatives and mentor students while enjoying a dynamic work environment.This temporary full-time role lasts two years, with possible extension, requiring a doctoral degree and experience in education. Full benefits are...

Postdoc in AI-based formally verified code generation KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science AI is rapidly becoming the primary author of the world's software. Today's models generate code at a speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path...

Postdoc in AI-based formally verified code generation KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science AI is rapidly becoming the primary author of the world's software. Today's models generate code at a speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path...

Synopsys, Inc. in Stockholm, Sweden, is seeking a dedicated verification engineer to join the European EDA Applications Engineering Team.You will work with Nordic customers to apply formal verification, AI-assisted methods, and Synopsys tools to challenging silicon designs. The role emphasizes direct customer collaboration, methodical root-cause analysis,...

Job description AI is rapidly becoming the primary author of the world’s software. Today’s models generate code at a speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation raises deep and largely unsolved...

KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science Project descriptionThird-cycle subject: Electrical EngineeringAutonomous systems are increasingly deployed alongside humans to carry out complex coordinated tasks. In these settings, autonomous systems must handle strict spatial and temporal constraints...

Location: Stockholm/ToulouseLevel: Mid-levelReports to: AI & Innovation LeadThe roleYou’ll work within the AI team reporting to the AI & Innovation Lead. You will be primarily supporting R&D and Solutions but collaborating with all teams, to embed AI into Prover’s engineering workflows and help shape our next generation of AI-powered products, initially...

An established tech company in Stockholm is seeking a Mid-level AI Engineer to work with the AI team on embedding AI into engineering workflows. The successful candidate will build AI agents and integrate SDKs for internal platforms. Strong communication skills and a hands-on mindset are required. This role offers the opportunity to impact sustainable...

Our goal is to focus on competence, knowledge and collaboration in order to play an important, demonstrable role in social development. Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal methods, provides the ideal...

Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity,...

Join our Team About this opportunity: LLM-based agentic workflows can execute highly complex tasks with strong performance, but their intermediate reasoning processes and outcomes—derived from adaptive behaviour and external tool interactions—can be challenging to verify and validate. Existing techniques for traditional AI and machine-learning models...

OverviewSwedium Global is the growing System Engineering and Solution Company, offers services like Semiconductor Engineering R&D Services, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy and Outsourcing services to our clients across the globe for an onsite and...

Job TitleSenior ASIC Verification Engineer, LundJob DescriptionDo you want to work with the core of a global tech company's business? How would it feel to be in a team that verifies that one thing our product portfolio depends on? With us in the ASIC verification team, you will be able to do just that! We are now looking for passionate senior engineers to...

Are you ready to be part of the exiting journey to take the internal combustion engine to the next level by using renewable and carbon neutral fuels in conventional combustion engines? In the position as Simulation engineer you will: Propose future engine concept by doing simulation studies in different stages of the development work with input from projects...

We Are Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and...

We Are Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and...

Overview Studies show that women and underrepresented groups often hesitate to apply unless they meet every requirement. At Stegra, we’re building an impact-driven, sustainable company - and we need a diverse, inclusive team to make it happen. If you share our passion but don’t meet every qualification, we encourage you to apply anyway. You might be the...

Studies show that women and underrepresented groups often hesitate to apply unless they meet every requirement. At Stegra, we’re building an impact-driven, sustainable company – and we need a diverse, inclusive team to make it happen. If you share our passion but don’t meet every qualification, we encourage you to apply anyway. You might be the perfect...