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...

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...

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...

Faculty of Science and Technology, Department of Computing Science Umeå University is one of Sweden’s largest higher education institutions with over 37,000 students and about 4,700 employees. The University offers a diversity of high-quality education and world-leading research in several fields. Notably, the groundbreaking discovery of...

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...

We are looking for four motivated postdocs to help design the next generation of human-in-the-loop autonomous systems at the Division of Interaction Design and Software Engineering. You will contribute to a future in which we can rely on better robots, autonomous networks, and other smart systems – impacting domains such as healthcare, transportation, and...

Overview 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? Responsibilities Propose future engine concept by doing simulation studies in different stages of the development work with input from projects and other...

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...

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...

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...

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...

About Us STARK is a new kind of defence technology company revolutionising the way autonomous systems are deployed across multiple domains. We design, develop and manufacture high performance unmanned systems that are software‑defined, mass‑scalable, and cost effective. This provides our operators with a decisive edge in highly contested...

Postdoctoral Fellow in Diagnostic Radiology and Advanced Neuroimaging A two‑year postdoctoral position within a research group focused on the glymphatic system. Neuroimaging methods employed include fMRI, DTI, volumetry and other quantitative techniques at 3T and 7T. The role may also involve student supervision and teaching. The main duties...

Doctoral Student in Human-in-the-Loop Autonomous Systems You will contribute to a future in which we can rely on better robots, autonomous networks, and other smart systems – impacting domains such as healthcare, transportation, and other areas of our society.These systems are often software-intensive and we develop mechanisms to create better software for...

Altris is looking for a Head of Commercial Delivery to take responsibility for the execution and delivery of strategic customer and partner engagements.In this role, you will ensure that commercial commitments and signed agreements are translated into clear, prioritised and executable delivery plans. You will work cross-functionally across the organisation...

Are you an experienced leader with a passion for advanced manufacturing and process excellence? As an Area Manager within our Manufacturing department, you will play a key role in driving performance, quality, and continuous improvement in a high‑tech MEMS production environment. This dynamic role brings together leadership, technical expertise, and...