Tag-arkiv: University of Gothenburg

Doctoral student in Formal Methods – Reactive Synthesis and Runtime Verification

Ref PAR 2021/835

The University of Gothenburg tackles society’s challenges with diverse knowledge. 53 500 students and 6 500 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract scientists and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.

The department of Computer Science and Engineering is strongly international, with approximately 270 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals. The position is placed in the Formal Methods unit at the department, with the University of Gothenburg as the employer.

The University of Gothenburg values diversity among its employees. We invite applications from all qualified individuals and in particular under-represented minorities.

Job assignments

The aim of the doctoral (third cycle) education is to acquire the knowledge and skills necessary to conduct independent research within the area of the position, and to contribute to the development of knowledge by writing a scholarly thesis. In addition, the student will have to undertake 60 Higher Education Credits in courses.

Third-cycle studies are equivalent to four year full-time and lead to a Doctoral Degree. Those appointed to doctoral studentships shall primarily devote themselves to their studies. Doctoral students may, however, work to a limited extent with educational tasks, research, and administration – so-called institutional duties in a teaching and support role; these may be concentrated to certain parts of the year depending on the needs of the department, and in consultation with the student. Before a doctoral degree has been awarded, these duties may not comprise more than 20% of the full-time study. If institutional duties are undertaken for a period corresponding to 20% of full-time study, then the employment contract is extended with the corresponding amount, which gives a total employment period of five years.

The successful candidate will work on the project “Enabling Reactive Synthesis through Runtime Verification” financed by the Swedish Research Council (VR). Reactive synthesis – automatic production of programs from high-level descriptions of their desired behaviour – is emerging as a viable tool for the development of robots and reactive software. In high level, this is like telling a robot what you would like it to do and automatically planning how to do it. Runtime verification is an approach for following programs through their execution to ensure that they work correctly. The project will improve the capabilities of reactive synthesis techniques through exploiting methods that are used for runtime verification. This will include both theoretical and practical contributions.

More concretely, the work will include the study of temporal logic, automata, and two player games. Temporal logic is used for describing in a high level the required behaviour of a program, automata are used as an algorithmic tool for manipulation of logic formulae, and two-player games enable to consider strategies and programs. We will study these formalisms, analyse their properties, devise algorithms to manipulate and translate between them, as well as implement tools that will show the applicability of the developed techniques.

Eligibility

To be eligible for third-cycle studies, the applicant must meet both the general and, where applicable, specific entry requirements.

A person meets the general entry requirements for third-cycle studies if he or she:
1. has been awarded a second-cycle qualification
2. has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second-cycle, or
3. has acquired substantially equivalent knowledge in some other way in Sweden or abroad

A background in formal methods, automata theory or logic is a merit.

Assessment

In selecting between applicants who meet the general and, where applicable specific entry requirements, their ability to benefit from third-cycle studies shall be taken into account.

Employment

After admission to third-cycle studies you will be appointed to doctoral studentship. Regulations for employment of doctoral students are given in SFS 1993:100. The initial appointment may apply for no longer than one year. An appointment may be renewed for no more than two years at a time. A person may be appointed to a doctoral studentship for a total of eight years. The total employment period may, however, not exceed the time corresponding to full-time third-cycle study for four years.

Salaries for doctoral students are regulated in a local agreement at the University. 

Type of employment: Fixed-term employment, HF 5 kap 7 §
Extent: 100 % of full time
Location: Department of Computer Science and Engineering/Formal Methods unit
First day of employment: 2021-09-01 or as soon as possible upon agreement

For further information

Regarding the project, please contact the responsible scientist Nir Piterman (piterman@chalmers.se)
Regarding general questions about the position, please contact David Sands (dave@chalmers.se)
Regarding the appointment procedure, please contact HR-partner Kristin Kristiansson (kristink@chalmers.se)

Unions

Union representatives at the University of Gothenburg:
https://www.gu.se/en/about-the-university/work-at-the-university-of-gothenburg/how-to-apply

Information for International Applicants

Choosing a career in a foreign country is a big step. Thus, to give you a general idea of what we and Gothenburg have to offer in terms of benefits and life in general for you and your family/spouse/partner please visit:

https://www.gu.se/en/about-the-university/welcome-services

https://www.movetogothenburg.com/

How to apply

In order to apply for a position at the University of Gothenburg, you have to register an account in our online recruitment system. It is the responsibility of the applicant to ensure that the application is complete in accordance with the instructions in the job advertisement, and that it is submitted before the deadline. Kindly write your application in English, as it may be evaluated by international experts with English as their working language.

Closing date: 2021-06-30

The University of Gothenburg promotes equal opportunities, equality and diversity.

Applications will be destroyed or returned (upon request) two years after the decision of employment has become final. Applications from the employed and from those who appeal the decision will not be returned.

In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.

Read the job description at the university homepage

Apply

Post expires on Wednesday June 30th, 2021

PhD Student in Physics (with focus on machine learning and robotics, Soft Matter Lab)

Ref PAR 2021/810

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 53 300 studenter och 6 500 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.

The Department of Physics at the University of Gothenburg is located in the center of Gothenburg, with approximately 100 employees. The communication routes are good both nationally and internationally. The research focuses within the fields of Atom- and Molecular Physics, Condensed Matter Physics and Spintronics, and Complex Systems and Biophysics and is performed in an international environment with extensive national and international collaborations. The education programs at the Department include Bachelor- and Master programs in Physics, physics teacher-training programs, as well as outreach courses in Physics aimed for the general public. Gothenburg Physics Centre is a close collaboration with three other departments within the Faculty of Science and Chalmers University of Technology, which creates an innovative environment for all researchers and students at the department.

For further information about the Department of Physics, please visit our website at www.physics.gu.se/english. More information about Gothenburg Physics Centre can be found at www.chalmers.se/en/centres/gpc/Pages/default.aspx.

Information about the research group:

The research will be carried out in the group at the University of Gothenburg led by Giovanni Volpe. The group focuses on soft matter, optical tweezers, statistical physics and machine learning.

Job assignments

We are looking for a PhD student at the Department of Physics at the University of Gothenburg. The applicant will

  • Work at the development of DeepTrack 2.0 (https://aip.scitation.org/doi/10.1063/5.0034891 and https://github.com/softmatterlab/DeepTrack-2.0) in close cooperation with the existing developers’ team at Soft Matter Lab. DeepTrack 2.0 is a software framework we are developing to perform quantitative digital video microscopy using deep learning. The PhD student will actively contribute to the technical design and implementation of the components of DeepTrack. Precisely, the task involves the development, testing and application of optical simulation pipelines for training deep learning networks, as well as the development of collaborative projects with other groups interested in using DeepTrack.
  • Build and operate small robots to study swarm robotics with embedded intelligence. The task involves all stages of design, fabrication, testing and programming the robots for different experiments. The robot models (inspired by the Kilobots https://ssr.seas.harvard.edu/kilobots) are small programmable units capable of motion, short-range communications, neighbor detection and more.

Qualifications

To apply, you should have a master’s degree, or equivalent, in physics or in related disciplines. We are looking for someone with experience (possibly) in programming, machine learning, robotics.

We are looking for a motivated person who can work individually but at the same time have a good ability to collaborate with other researchers in this multidisciplinary collaboration.

Previous experience with programming, machine learning, robotics is an advantage. Previous practical projects involving electronics, robotics, control systems and/or experience in robot design and modelling are an advantage. For the first possibility, previous experience in simulating optical devices and physical systems is a major advantage.               Previous experience with high performance code or deep learning is also an advantage.

Being a PhD is a 4-year full-time studies and leads to a Doctoral Degree. Those who are employed as doctoral students must primarily devote themselves to their doctoral education. However, a doctoral student may to a limited extent work with education, research and administration. Such work may, before the doctoral degree is completed, not cover more than 20 % of full-time work.


Eligibility

To be eligible for third-cycle studies, the applicant must meet both the general and specific entry requirements:

A person meets the general entry requirements for third-cycle courses and study programs if he or she:
1. has been awarded a second-cycle qualification,
2. has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second-cycle, or
3. has acquired substantially equivalent knowledge in some other way in Sweden or abroad.

To meet the specific entry requirements for third-cycle studies, applicants must: (i) have a second-cycle (advanced-level) degree in a relevant* subject area in the natural sciences, or (ii) have completed studies for at least 60 higher education credits at a second-cycle level in relevant subject areas in the natural sciences, or (iii) have completed a corresponding programme of relevance to the planned third-cycle programme, in Sweden or in another country, or have equivalent qualifications.

*Relevant for the planned third-cycle education

The specific entry requirements also include an acceptable command of spoken and written English. Guidelines for assessing English proficiency may include a minimum score of 550 on the TOEFL test (or 213 on the TOEFL-CBT, or 79 on the TOEFL-iBT).

Assessment

Regulations for the evaluation of qualifications for education on a doctoral level are given in SFS 1993:100.

Selection among applicants who meet the requirements for basic and special eligibility is based on the ability to assimilate the education at postgraduate level. In the assessment, special emphasis is placed on documented qualifications regarding:

You should have a good ability to express yourself in both written and spoken English.

You should be a motivated person who can work individually but at the same time have a good ability to collaborate with other researchers in this multidisciplinary collaboration.

In the assessment, special emphasis is placed on documented qualifications regarding programming, machine learning, robotics. Knowledge of Python, Matlab, C/C++ or similar programming language is an advantage. For the first possibility, strong experience with standard Python ML libraries (e.g., Tensorflow, Keras, PyTorch) and software development tooling (git and docker) is preferable. For the second possibility, basic knowledge of Python, C/C++ or other high performance, python compatible programming language is an advantage, as well as, importantly, hands-on experience with robotics and electronics.

Employment

A new employment as a PhD student applies for a maximum of one year. The employment may be prolonged for up to two years at a time. The total employment period may not be longer than the equivalent of four years of full time doctoral studies.

Type of employment: Fixed-term employment, 4 years full time
Extent: 100 %
Location: Department of Physics, Gothenburg
First day of employment:  1 Sep 2021, or as agreed

University applies a local salary agreement of graduate students.

Appointment procedure

Please apply online

The application shall include:

Cover letter with an explanation of why you apply for the position
CV including scientific publications
Copy of exam certificate
Two referees (name, telephone number, relation)

For further information regarding the position

Giovanni Volpe, Professor, 031-786 9137, giovanni.volpe@physics.gu.se


Unions

Union representatives at the University of Gothenburg: http://www.gu.se/english/about_the_university/job-opportunities/union-representatives

How to apply

In order to apply for a position at the University of Gothenburg, you have to register an account in our online recruitment system. It is the responsibility of the applicant to ensure that the application is complete in accordance with the instructions in the job advertisement, and that it is submitted before the deadline. The selection of candidates is made based of the qualifications registered in the application.

The University of Gothenburg promotes equal opportunities, equality and diversity.

Salaries for doctoral students are regulated in a local agreement at the University.

Applications will be destroyed or returned (upon request) two years after the decision of employment has become final. Applications from the employed and from those who appeal the decision will not be returned.

Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.

Read the job descscription at the university homepage

Apply

Post expires on Tuesday June 29th, 2021

PhD student position in Marine Sciences specializing in Evolutionary Genomics

Ref PAR 2021/626

The University of Gothenburg tackles society’s challenges with diverse knowledge. 53 500 students and 6 500 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract scientists and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.

PhD student position in Marine Sciences specializing in Evolutionary Genomics

Type of employment: Fixed-term employment, 4 years Extent: 100 %

Location: Tjärnö Marine Laboratory, Department of Marine Sciences, University of Gothenburg

First day of employment: as soon as possible

The Department of Marine Sciences, the Faculty of Science, University of Gothenburg, was recently launched (July 1, 2015) with the purpose to achieve the vision of “A University with marine research, teaching and cooperation of the highest international class”. The department has about 110 employees – researchers, teachers, PhD students, technicians and administrators. The department carries out teaching and research in the various marine specializations, biology, oceanography, chemistry, marine geology, conservation of underwater cultural heritage, and environmental science. Research is conducted both within specialized individual projects as well as within larger interdisciplinary programs. The Department is situated in Gothenburg and at the University’s research stations at Tjärnö and Kristineberg. This position will be based at the Tjärnö Marine Laboratory, 170 km from Gothenburg (https://www.gu.se/en/tjarno).

More information on the Department can be found at www.marine.gu.se.

Project description

The marine snail, Littorina saxatilis, has ecotypes that have evolved repeatedly in Sweden, United Kingdom and Spain, where a high-predation environment leads to a thick-shelled form and a high wave-action environment leads to a thin-shelled form. This PhD will be part of the Swedish Research Council Project: Ecological systems biology: disentangling the molecular mechanisms of ecological speciation. The goal of this project is to identify the genetic mechanisms responsible for these parallel phenotypes, specifically the shell phenotypes. We will examine the genetics of shell formation between ecotypes and assess the relative contribution of genetic vs plastic effects on gene expression in the mantle tissue. We will examine the regulatory architecture using gene expression, eQTLs, and open chromatin sequencing (ATACseq). We will synthesize these results along with other data available from members of the Littorina Research Group https://littorina.group.shef.ac.uk, including large-scale phenotyping, examination of hybrids, and whole-genome re-sequencing of L. saxatilis and related species.

Job assignments

The main task is to conduct a PhD thesis, under supervision, following the basic project plan described above. This includes development of the PhD student’s practical experience, analytical skills, and theoretical knowledge, particularly in molecular techniques and bioinformatics.

As member of the project team, it is expected that the PhD student communicates and actively collaborates within the group. The PhD student will present results at conferences, seminars and project meetings. The PhD student is expected to publish their results in international peer-reviewed journals and write a final summarizing thesis in English, which is defended during a public dissertation. A Swedish Ph.D. thesis should be completed within 4 years full-time work including course work (60 ECTS), e.g. pedagogic and other soft-skill courses as well as courses to develop technical skills and knowledge related to the PhD topic (please see below).

Qualification/merits

We seek a motivated person for PhD studies in marine biology with a deep interest in evolutionary genomics.

The applicant must hold a Master’s degree or equivalent in evolutionary biology, genetics, molecular biology, cell biology or related field. The candidate should have good knowledge and practical experience of molecular laboratory work (i.e. DNA and RNA extraction and sequencing library preparation), and bioinformatic/computational skills for the analysis of RNA and DNA (familiar with R and unix command line software). Previous research experience is an added merit, including, conference attendance, grant funding and scientific publications. These should be documented in the CV with a brief description of the applicant’s role in the work.

The applicant should possess the ability to work independently and take responsibility for his/her own learning and research, as well as to collaborate as part of the research team.

Excellent oral and written communication skills in English are necessary as communication within the group will be in English and the overall working environment is international.

In addition to the formal qualification requirements, great emphasis will be placed on personal qualities and suitability for the position.

Eligibility

The qualifications for education on a doctoral level are: degree in advanced level, at least 240 university points, of which 60 are on an advanced level, or in another way acquired similar knowledge. Upon appointment, the ability to successfully complete the PhD program must first be evaluated. Only applicants who are admitted to the PhD program at the Dep. of Marine Sciences may be hired.

Third cycle education

Admission to third cycle education is aiming at a PhD in Natural Science, specializing in Marine Sciences. The education runs for four years of fulltime studies, containing three years of thesis work and one year of academic education (i.e. course work and literature studies). A selection of courses at the Department/Faculty is available, but national/international courses can also be selected. You will be employed at University of Gothenburg, and salary follows the regulations at University of Gothenburg. In addition to pursuing its his/her own research studies, PhD students may be required to perform other duties, such as teaching, research and administrative work according to special regulations.

Assessment

Regulations for the evaluation of qualifications for education on a doctoral level are given in SFS 1998:80. The main assessment is a judgement for the applicant to successfully complete the PhD education.

Appointment Procedure

Please apply online.

The following should be included:

  • A cover letter in English describing the applicant´s motivation for the position (why you are interested in this position and how does this fit with your career plans) and how the applicant meets the selection criteria (suitability for the proposed work). Max. two A4 pages.
  • An attested list of qualifications (CV)
  • Examination certificates and transcript of courses with grades.
  • Relevant publications, including accepted academic papers or research thesis. For publications, please indicate your role in the work (1-2 sentences per publication).
  • Contact information (phone, email) of two personal references

The highest ranked applicants will be contacted for interview.

The University of Gothenburg promotes equal opportunities, equality and diversity.

Applications will be destroyed or returned (upon request) two years after the decision of employment has become final. Applications from the employed and from those who appeal the decision will not be returned.

For further questions or to express an interest, please contact: Erica Leder (erica.leder@gu.se).

Labour union

Information on union representatives can be found here

https://www.gu.se/en/about-the-university/work-at-the-university-of-gothenburg/how-to-apply

Closing date: 28 May 2021

In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.

Read the job description at the university homepage

Apply